From: Martin Quinson Date: Wed, 4 Apr 2012 04:39:04 +0000 (-1000) Subject: [DOC] cosmetics: rename some tabs in menus X-Git-Tag: v3_7~113 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a0ef4e1f3c5c8c268f507e68650a21c8c75fc906 [DOC] cosmetics: rename some tabs in menus --- diff --git a/doc/install.doc b/doc/install.doc index 92f9806a7b..ce35441cd4 100644 --- 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 a22e515be0..c1e28d0fb1 100755 --- a/tools/doxygen/doxygen_postprocesser.pl +++ b/tools/doxygen/doxygen_postprocesser.pl @@ -405,14 +405,14 @@ foreach my $file (@allfiles) { { $tmp_buff .= '
'."\n"; $tmp_buff .= '
'."\n"; $tmp_buff .= ' '."\n"; diff --git a/tools/doxygen/index_create.pl b/tools/doxygen/index_create.pl index b9474656c2..cc173c0f87 100755 --- a/tools/doxygen/index_create.pl +++ b/tools/doxygen/index_create.pl @@ -37,7 +37,9 @@ close FILE; open OUTPUT,"> $output"; print OUTPUT <