always have display_timing activated for smpi, as it is quite useful

[simgrid.git] / doc / Doxyfile.in

diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index c338135674c0162873e9be7f1b31ee6b3d65b6f6..7b4be67932160491110ec5d9506c35379b57ab0f 100644 (file)
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -676,7 +676,7 @@ INPUT                  = doxygen/index.doc \
                             doxygen/inside_cmake.doc \
                             doxygen/inside_autotests.doc \
                             doxygen/inside_release.doc \
-                          doxygen/involved.doc \
+                          doxygen/contributing.doc \
                          doxygen/tracing.doc \
                         doxygen/FAQ.doc \
                         doxygen/modules.doc \
@@ -708,7 +708,6 @@ INPUT                  = doxygen/index.doc \
 
 INPUT +=                 @top_srcdir@/examples/msg/sendrecv/sendrecv.c \
                          @top_srcdir@/examples/msg/masterslave/masterslave_forwarder.c \
-                         @top_srcdir@/examples/msg/masterslave/masterslave_console.c \
                          @top_srcdir@/examples/msg/migration \
                          @top_srcdir@/examples/msg/suspend \
                          @top_srcdir@/examples/msg/properties \