cosmetics: rename some documentation files, just for clarity

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

diff --git a/doc/doxygen/internals.doc b/doc/doxygen/inside.doc
similarity index 98%
rename from doc/doxygen/internals.doc
rename to doc/doxygen/inside.doc
index d646228..0cdb36e 100644 (file)
--- a/doc/doxygen/internals.doc
+++ b/doc/doxygen/inside.doc
@@ -1,4 +1,4 @@
-/*! @page internals SimGrid Developer Guide
+/*! @page inside SimGrid Developer Guide
 
 This page does not exist yet, sorry. We are currently refurbishing the
 user documentation -- the internal documentation will follow (FIXME).