X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d59d27482febdeebb55fcc3e116f5b9305771bb9..9a759872fb8babf506d53114f95b8b06ff335854:/doc/Doxyfile.in

diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index e40c12c4b2..7dc2fcff4e 100644
--- a/doc/Doxyfile.in
+++ b/doc/Doxyfile.in
@@ -644,9 +644,11 @@ WARN_LOGFILE           =
 
 INPUT                  = doxygen/index.doc \
                          doxygen/getting_started.doc \
+                         doxygen/getting_started_index.doc \
                          doxygen/introduction.doc \
                          doxygen/install.doc \
-                         doxygen/use.doc \   
+                         doxygen/examples.doc \   
+                         doxygen/understanding_simgrid.doc \   
                            doxygen/platform.doc \
                            doxygen/deployment.doc \
                            doxygen/options.doc \
@@ -711,7 +713,6 @@ INPUT +=                 @top_srcdir@/examples/msg/sendrecv/sendrecv.c \
                          @top_srcdir@/examples/msg/tracing/link_user_variables.c \
                          @top_srcdir@/examples/msg/tracing/link_srcdst_user_variables.c \
                          @top_srcdir@/examples/msg/ns3 \
-                         @top_srcdir@/examples/msg/gtnets \
                          @top_srcdir@/examples/msg/io \
                          @top_srcdir@/examples/msg/gpu \
                          @top_srcdir@/examples/msg/actions \
@@ -780,7 +781,8 @@ EXCLUDE_SYMBOLS        =
 EXAMPLE_PATH           = ./ \
                          @top_srcdir@/src/surf/ \
                          @top_srcdir@/src/xbt/ \
-                         @top_srcdir@/examples
+                         @top_srcdir@/examples \
+                         @top_srcdir@/doc/example_lists
 
 # If the value of the EXAMPLE_PATH tag contains directories, you can use the
 # EXAMPLE_PATTERNS tag to specify one or more wildcard pattern (like *.cpp
@@ -1005,7 +1007,7 @@ HTML_COLORSTYLE_GAMMA  = 80
 # page will contain the date and time when the page was generated. Setting
 # this to NO can help when comparing the output of multiple runs.
 
-HTML_TIMESTAMP         = YES
+HTML_TIMESTAMP         = NO
 
 # If the HTML_DYNAMIC_SECTIONS tag is set to YES then the generated HTML
 # documentation will contain sections that can be hidden and shown after the