cosmetics: rename some documentation files, just for clarity

[simgrid.git] / doc / doxygen / index.doc

diff --git a/doc/doxygen/index.doc b/doc/doxygen/index.doc
index eaf2ff6..87311a8 100644 (file)
--- a/doc/doxygen/index.doc
+++ b/doc/doxygen/index.doc
@@ -10,9 +10,7 @@
 <tr><td width="50%">
 @endhtmlonly
 
-- @subpage introduction
-- @subpage use
-  - @ref help
+- @subpage tutorial
 - @subpage platform
 - @subpage options
 - @subpage deployment
@@ -21,9 +19,13 @@
   - @ref bindings
   - @ref pls
   - @ref tracing
-  - @ref contributing
 - @subpage FAQ
-- @subpage internals
+- @subpage inside
+  - @ref inside_tests
+  - @ref inside_doxygen
+  - @ref inside_extending
+  - @ref inside_cmake
+  - @ref inside_release
 - @subpage contributing
 
 @htmlonly