Completed platform doc. No missing sections anymore.

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

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index 378b4cd..a22e515 100755 (executable)
--- 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,13 +405,14 @@ 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";
+                               $tmp_buff .= '          <li><a href="pls.html"><span>Packet Level Simulation</span></a></li>'."\n";
                                $tmp_buff .= '          </ul></div>'."\n";
                                $tmp_buff .= '      </div>'."\n";