cosmetics: rename some documentation files, just for clarity

[simgrid.git] / doc / Doxyfile.in

diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index 06557c1..a81b2bf 100644 (file)
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -645,7 +645,7 @@ WARN_LOGFILE           =
 INPUT                  = doxygen/index.doc \
                          doxygen/getting_started.doc \
                          doxygen/getting_started_index.doc \
-                         doxygen/introduction.doc \
+                         doxygen/tutorial.doc \
                          doxygen/install.doc \
                          doxygen/examples.doc \
                            doxygen/platform.doc \
@@ -655,11 +655,11 @@ INPUT                  = doxygen/index.doc \
                         doxygen/advanced.doc \
                            doxygen/pls.doc \
                            doxygen/bindings.doc \
-                          doxygen/internals.doc \
+                          doxygen/inside.doc \
                             doxygen/inside_doxygen.doc \
                             doxygen/inside_extending.doc \
                             doxygen/inside_cmake.doc \
-                            doxygen/inside_ci.doc \
+                            doxygen/inside_tests.doc \
                             doxygen/inside_release.doc \
                           doxygen/contributing.doc \
                          doxygen/tracing.doc \