+
+
+###
+### Post-processsing common to all pages
+###
+map {push @allfiles,$_} qw(html/index.html html/faq.html html/publis.html html/pages.html);
+
+foreach my $file (@allfiles) {
+ open FROM,"$file" || die;
+ my $outfile = "$file";
+ $outfile =~ s/.html/.new.html/;
+ open TO,">$outfile" || die;
+ while (<FROM>) {
+ # Add the simgrid css, just in case
+ print TO '<link href="simgrid.css" rel="stylesheet" type="text/css">'."\n"
+ if (m|</head>|);
+
+ # Rework the navbar
+ if (m,<li><a href="index.html"><span>Main\ Page</span></a></li>,) {
+ print TO '<li><a href="index.html"><span>Overview</span></a></li>';
+ print TO '<li><a href="faq.html"><span>FAQ</span></a></li>';
+ next;
+ }
+ if (m,<li><a href="annotated.html"><span>Data\ Structures</span></a></li>,) {
+ print TO '<li><a href="publis.html"><span>Publications</span></a></li>';
+ next;
+ }
+ s|<span>Modules</span>|<span>Modules API</span>|g;
+ s|<li><a href="dirs.html"><span>Directories</span></a></li>||g;
+
+ print TO $_;
+ }
+ close FROM;
+ close TO;
+ rename("$outfile", "$file") unless $debug{'rename'};
+}
+
+###
+### Launch the modules navbar reworking
+###