X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/272c65e3b433ad56cb27ecfe229dc888bcbdc6e2..5a25b8089e4305ec691c460487a77e5c1d07aeb8:/tools/doxygen/doxygen_postprocesser.pl

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index 378b4cd057..fe7fc395f5 100755
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -5,7 +5,7 @@ use strict;
 # Add here the pages of the documentation generated by a @page doxygen macro
 my @extra_files = qw(html/index.html html/pages.html html/modules.html html/annotated.html html/functions.html 
 					 html/functions_vars.html index.php 
-                     html/GRAS_tut.html html/tracing.html html/installSimgrid.html html/bindings.html
+                     html/GRAS_tut.html html/tracing.html html/platform.html html/install.html html/bindings.html
                      html/options.html html/use.html html/pls.html html/FAQ.html);
 
 # GRAS tutorial
@@ -392,9 +392,10 @@ foreach my $file (@allfiles) {
 	      # Rework the navbar and add menu for use.html
 	      # Fix the current "button" of buggy Doxygen tabs  
 	      if($file =~ /^html\/use.*/
-	      || $file =~ /^html\/installSimgrid.*/
+	      || $file =~ /^html\/install.*/
 	      || $file =~ /^html\/options.*/
 	      || $file =~ /^html\/tracing.*/ 
+	      || $file =~ /^html\/platform.*/ 
 	      || $file =~ /^html\/bindings.*/
 	      || $file =~ /^html\/pls.*/
 	      || $file =~ /^html\/modules.*/
@@ -404,10 +405,11 @@ foreach my $file (@allfiles) {
 	      {
 				$tmp_buff .= '      <div class="tabs_group_use">'."\n";
 				$tmp_buff .= '      	<ul class="tablist">'."\n";
-				$tmp_buff .= '        	<li><a href="installSimgrid.html"><span>Install SimGrid</span></a></li>'."\n";
+				$tmp_buff .= '        	<li><a href="install.html"><span>Install SimGrid</span></a></li>'."\n";
 				$tmp_buff .= '        	<li><a href="modules.html"><span>Modules&#160;API</span></a></li>'."\n";
       			$tmp_buff .= '        	<li><a href="annotated.html"><span>Data&#160;Structures</span></a></li>'."\n";
 				$tmp_buff .= '        	<li><a href="options.html"><span>Options & configurations</span></a></li>'."\n";
+				$tmp_buff .= '        	<li><a href="platform.html"><span>Platform description</span></a></li>'."\n";
 				$tmp_buff .= '        	<li><a href="tracing.html"><span>Tracing Simulations</span></a></li>'."\n";
 				$tmp_buff .= '        	<li><a href="bindings.html"><span>Bindings</span></a></li>'."\n";
 				$tmp_buff .= '        	<li><a href="pls.html"><span>Packet level simulation</span></a></li>'."\n";