X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2cc20f1526f80e1c731e986a50c5b77fa7e223d8..1fcc8dd3e67dc3f7c1e789459028a361a1c86b5f:/tools/doxygen/doxygen_postprocesser.pl

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index f35e84a59a..5ba927c692 100755
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -3,10 +3,9 @@
 use strict;
 
 # Add here the pages of the documentation generated by a @page doxygen macro
-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/installSimgrid.html html/bindings.html html/options.html html/use.html html/gtnets.html
+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/options.html html/use.html html/gtnets.html
                      html/ns3.html);
 
 # GRAS tutorial
@@ -383,14 +382,9 @@ foreach my $file (@allfiles) {
       if( $_ =~ /<\/ul>/ && $tabs){
       		my $tmp_buff="";
       		$tmp_buff .= '      <li><a href="use.html"><span>Using SimGrid</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="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 .= '      <li><a href="pages.html"><span>Site&nbsp;Map</span></a></li>'."\n";
+      		$tmp_buff .= '      <li><a href="http://gforge.inria.fr/projects/simgrid"><span>Forge</span></a></li>'."\n";
+      		$tmp_buff .= '      <li><a href="http://simgrid.gforge.inria.fr/"><span>Website</span></a></li>'."\n";
+      		$tmp_buff .= '      <li><a href="pages.html"><span>Documentation&nbsp;index</span></a></li>'."\n";
       	  	$tmp_buff .= $_;
       	  	$tabs = 0;
 
@@ -398,7 +392,8 @@ foreach my $file (@allfiles) {
 	      # Fix the current "button" of buggy Doxygen tabs  
 	      if($file =~ /^html\/use.*/
 	      || $file =~ /^html\/installSimgrid.*/
-	      || $file =~ /^html\/options.*/ 
+	      || $file =~ /^html\/options.*/
+	      || $file =~ /^html\/tracing.*/ 
 	      || $file =~ /^html\/bindings.*/
 	      || $file =~ /^html\/gtnets.*/
 	      || $file =~ /^html\/ns3.*/
@@ -411,6 +406,7 @@ foreach my $file (@allfiles) {
 				$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="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="gtnets.html"><span>GTNets</span></a></li>'."\n";
 				$tmp_buff .= '        	<li><a href="ns3.html"><span>NS3</span></a></li>'."\n";
@@ -429,17 +425,11 @@ foreach my $file (@allfiles) {
 	
 	      # Rework the navbar
 	      # Fix the current "button" of buggy Doxygen tabs   
-	      if($file =~ /^html\/publis.*/ 
-	      || $file =~ /^html\/faq.*/
-	      || $file =~ /^html\/people.*/ 
-	      || $file =~ /^html\/history.*/ 
-	      || $file =~ /^html\/contrib.*/
-	      || $file =~ /^html\/pages.*/)
+	      if($file =~ /^html\/pages.*/)
 	      {
 		      my $filename = $file;
 		      $filename =~ s/html\///g;
 		      $filename =~ s/\.html//g;
-		      $filename =~ s/publis_.*/publis/g;
 		      $tmp_buff =~ s/<li class="current">/<li>/g;
 		      $tmp_buff =~ s/<li><a href="$filename.html">/<li class="current"><a href="$filename.html">/g;     
 	      }
@@ -454,7 +444,7 @@ foreach my $file (@allfiles) {
       s|<li><a href="annotated.html"><span>Data&#160;Structures</span></a></li>\n||g;
       s|<li class="current"><a href="modules.html"><span>Modules&#160;API</span></a></li>\n||g;
       s|<li class="current"><a href="annotated.html"><span>Data&#160;Structures</span></a></li>\n||g;
-      s|Related Pages<|Site&nbsp;Map<|g;
+      s|Related Pages<|Documentation&nbsp;index<|g;
                                                                                            
       print TO $_;
     }