diff --git a/docs/doxygen/Doxyfile_all b/docs/doxygen/Doxyfile_all index 55d89e5810..384b7af416 100644 --- a/docs/doxygen/Doxyfile_all +++ b/docs/doxygen/Doxyfile_all @@ -22,5 +22,5 @@ GENERATE_MAN = NO GENERATE_XML = YES GENERATE_AUTOGEN_DEF = NO GENERATE_PERLMOD = YES -GENERATE_TAGFILE = NO +GENERATE_TAGFILE =