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 80e8fc9..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/install.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
@@ -395,6 +395,7 @@ foreach my $file (@allfiles) {
              || $file =~ /^html\/install.*/
              || $file =~ /^html\/options.*/
              || $file =~ /^html\/tracing.*/ 
+             || $file =~ /^html\/platform.*/ 
              || $file =~ /^html\/bindings.*/
              || $file =~ /^html\/pls.*/
              || $file =~ /^html\/modules.*/
@@ -408,9 +409,10 @@ 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="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";