model-checker : cosmetics

[simgrid.git] / doc / Doxyfile.in

diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index c338135..b399a5c 100644 (file)
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -196,7 +196,7 @@ TAB_SIZE               = 8
 # will result in a user-defined paragraph with heading "Side Effects:".
 # You can put \n's in the value part of an alias to insert newlines.
 
-ALIASES                =
+ALIASES                = SimGridRelease="SimGrid-@release_version@"
 
 # This tag can be used to specify a number of word-keyword mappings (TCL only).
 # A mapping has the form "name=value". For example adding
@@ -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 \