# for undocumented members. If EXTRACT_ALL is set to YES then this flag will
# automatically be disabled.
-WARN_IF_UNDOCUMENTED = YES
+WARN_IF_UNDOCUMENTED = NO
# If WARN_IF_DOC_ERROR is set to YES, doxygen will generate warnings for
# potential errors in the documentation, such as not documenting some
# wrong or incomplete parameter documentation, but not about the absence of
# documentation.
-WARN_NO_PARAMDOC = NO
+WARN_NO_PARAMDOC = YES
# The WARN_FORMAT tag determines the format of the warning messages that
# doxygen can produce. The string should contain the $file, $line, and $text
doxygen/pls.doc \
doxygen/bindings.doc \
doxygen/internals.doc \
+ doxygen/inside_doxygen.doc \
doxygen/inside_extending.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 \
doxygen/module-simix.doc \
doxygen/module-trace.doc \
index-API.doc \
- @top_srcdir@/doc/ref_guide/doxygen/logcategories.doc \
+ @top_srcdir@/doc/doxygen/logcategories.doc \
@top_srcdir@/src/instr/ \
@top_srcdir@/include/ \
@top_srcdir@/include/msg \
# typically be disabled. For large projects the javascript based search engine
# can be slow, then enabling SERVER_BASED_SEARCH may provide a better solution.
-SEARCHENGINE = NO
+SEARCHENGINE = YES
# When the SERVER_BASED_SEARCH tag is enabled the search engine will be
# implemented using a PHP enabled web server instead of at the web client