+
+
+###
+### Post-processsing common to all pages
+###
+map {push @allfiles,$_} @extra_files;
+
+foreach my $file (@allfiles) {
+ open FROM,"$file" || die;
+ my $outfile = "$file";
+ $outfile =~ s/.(html|php)$/.new.$1/;
+ open TO,">$outfile" || die;
+# print "POSTPROCESSING $file (tmp=$outfile)\n";
+ 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="(doc/)?index.html"><span>Main\ Page</span></a></li>,) {
+ print TO '<li><a href="'.$1.'index.html"><span>Overview</span></a></li>'."\n";
+ print TO '<li><a href="'.$1.'faq.html"><span>FAQ</span></a></li>'."\n";
+ next;
+ }
+ if (m,<li><a href="(doc/)?annotated.html"><span>Data\ Structures</span></a></li>,) {
+ print TO '<li><a href="'.$1.'publis.html"><span>Publications</span></a></li>'."\n";
+ next;
+ }
+ s|<span>Modules</span>|<span>Modules API</span>|g;
+ s|<li><a href="(doc/)?dirs.html"><span>Directories</span></a></li>||g;
+
+ print TO $_;
+ }
+ close FROM;
+ close TO;
+ rename("$outfile", "$file") unless $debug{'rename'};
+}
+
+
+