[DOC] cosmetics: rename some tabs in menus

[simgrid.git] / doc / install.doc

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