Convert some insider doc to sphinx, and remove obsolete bits from doxygen sources

[simgrid.git] / docs / source / index.rst

diff --git a/docs/source/index.rst b/docs/source/index.rst
index f93b4b2..4d20670 100644 (file)
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -94,6 +94,7 @@ of every page. Bugs in the code should be reported
    :caption: SimGrid's Internals:
 
       Design goals <Design_goals.rst>
+      Developer's documentation <Developers_Documentation.rst>
 
 .. Cheat Sheet on the sublevels
 ..