5 # Add here the pages of the documentation generated by a @page doxygen macro
6 my @extra_files = qw(html/index.html html/install.html);
9 ### Post-processsing common to all pages
13 foreach my $file (@extra_files) {
15 open FROM,"$file" || die;
16 my $outfile = "$file";
17 $outfile =~ s/.(html|php)$/.new.$1/;
18 open TO,">$outfile" || die;
20 print "file: ".$file."\n";
24 if( $_ =~ /<div.*class="tabs">/){
27 if( $_ =~ /<\/div>/ && $tabs){
31 if( $_ =~ /<li.*>/ && $tabs){
34 $tmp_buff .= ' <li><a href="install.html"><span>Install and Use</span></a></li>'."\n";
35 $tmp_buff .= ' <li><a href="javadoc/index.html"><span>Javadoc</span></a></li>'."\n";
36 $tmp_buff .= ' <li><a href="http://simgrid.gforge.inria.fr/"><span>Website</span></a></li>'."\n";
40 $filename =~ s/html\///g;
41 $filename =~ s/\.html//g;
42 $tmp_buff =~ s/<li class="current">/<li>/g;
43 $tmp_buff =~ s/<li><a href="$filename.html">/<li class="current"><a href="$filename.html">/g;
49 s|<li.*><a href="pages.html"><span>.*</span></a></li>\n||g;
56 rename("$outfile", "$file");