X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a3da8571d918cd3cbee6676bf229886a6a2ac92d..737a12e4cd18741fbb179c44b0c372fe0b580b1b:/tools/doxygen/doxygen_postprocesser.pl

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index ff05f060e1..5e4cf2b9fc 100755
--- 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 
@@ -381,11 +381,13 @@ 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="faq.html"><span>FAQ&#160;Page</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";
       		$tmp_buff .= '      <li><a href="contrib.html"><span>Contrib</span></a></li>'."\n";
-      		$tmp_buff .= '      <li><a href="faq.html"><span>FAQ&#160;Page</span></a></li>'."\n";
       		$tmp_buff .= '      <li><a href="http://gforge.inria.fr/projects/simgrid"><span>Simgrid&#160;Forge</span></a></li>'."\n";
       		$tmp_buff .= '      <li><a href="http://simgrid.gforge.inria.fr/"><span>Home</span></a></li>'."\n";
       	  	$tmp_buff .= $_;
@@ -397,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;