[DOC] cosmetics: rename some tabs in menus

diff --git a/doc/install.doc b/doc/install.doc
index 92f9806..ce35441 100644 (file)
--- a/doc/install.doc
+++ b/doc/install.doc
@@ -1,4 +1,4 @@
-/*! \page install Install Simgrid
+/*! \page install Installing Simgrid
 
 \htmlinclude .install.doc.toc
 

diff --git a/tools/doxygen/doxygen_postprocesser.pl b/tools/doxygen/doxygen_postprocesser.pl
index a22e515..c1e28d0 100755 (executable)
--- a/tools/doxygen/doxygen_postprocesser.pl
+++ b/tools/doxygen/doxygen_postprocesser.pl
@@ -405,14 +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="install.html"><span>Install SimGrid</span></a></li>'."\n";
+                               $tmp_buff .= '          <li><a href="install.html"><span>Installing 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="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";
                                

diff --git a/tools/doxygen/index_create.pl b/tools/doxygen/index_create.pl
index b947465..cc173c0 100755 (executable)
--- a/tools/doxygen/index_create.pl
+++ b/tools/doxygen/index_create.pl
@@ -37,7 +37,9 @@ close FILE;
 
 open OUTPUT,"> $output";
 print OUTPUT <<EOF;
-/** \\defgroup API_index Index of the API
+This file was generated by tools/doxygen/index_create.pl. DO NOT EDIT.
+
+/** \\defgroup API_index Full Index
   * \\ingroup SimGrid_API
   * \\brief The alphabetical list of all functions, macros and types 
   *  defined by SimGrid