Keep the button press.

[simgrid.git] / tools / doxygen / doxygen_postprocesser.pl

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index 515cf5e..d2e9256 100755 (executable)
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -6,7 +6,7 @@ use strict;
 my @extra_files = qw(html/index.html html/faq.html html/history.html html/contrib.html html/people.html
                      html/publis.html html/publis_core.html html/publis_extern.html html/publis_intra.html
                      html/pages.html html/modules.html html/annotated.html html/functions.html html/functions_vars.html index.php 
-                     html/GRAS_tut.html);
+                     html/GRAS_tut.html html/installSimgrid.html html/bindings.html);
 
 # GRAS tutorial
 map {push @extra_files, "html/GRAS_tut_$_.html"} qw (intro 
@@ -359,14 +359,18 @@ foreach my $file (@allfiles) {
                  if($file =~ /^html\/index\..*/){
                        $_ =~ s/<li class="current">/<li>/g;
                        $_ =~ s/<li><a href="index.html">/<li class="current"><a href="index.html">/g;
-                 }
-                 
+                 }               
                  $_ =~ s/<li class="current"><a href="pages.html">/<li><a href="pages.html">/g;
                  
                  if($file =~ /^html\/pages\..*/){
                        $_ =~ s/<li><a href="pages.html">/<li class="current"><a href="pages.html">/g;
                  }
          }
+         
+         if($file =~ /^html\/publis.*/){
+                       $_ =~ s/<div class="header">/<div>/g;
+                       $_ =~ s/<div class="headertitle">/<div>/g;
+        }
        
          # Add the FAQ PUBLIS PEOPLE HISTORY and CONTRIB to the top navbar.
       if( $_ =~ /<div.*class="tabs">/){
@@ -377,6 +381,8 @@ foreach my $file (@allfiles) {
       }
       if( $_ =~ /<\/ul>/ && $tabs){
                my $tmp_buff="";
+               $tmp_buff .= '      <li><a href="installSimgrid.html"><span>Install SimGrid</span></a></li>'."\n";
+               $tmp_buff .= '      <li><a href="bindings.html"><span>Bindings</span></a></li>'."\n";                   
                $tmp_buff .= '     <li><a href="publis.html"><span>Publications</span></a></li>'."\n";
                $tmp_buff .= '      <li><a href="people.html"><span>People</span></a></li>'."\n";
                $tmp_buff .= '      <li><a href="history.html"><span>History</span></a></li>'."\n";
@@ -393,7 +399,9 @@ foreach my $file (@allfiles) {
              || $file =~ /^html\/publis.*/ 
              || $file =~ /^html\/people.*/ 
              || $file =~ /^html\/history.*/ 
-             || $file =~ /^html\/contrib.*/)
+             || $file =~ /^html\/contrib.*/
+             || $file =~ /^html\/installSimgrid.*/
+                 || $file =~ /^html\/bindings.*/)
              {
                      my $filename = $file;
                      $filename =~ s/html\///g;