diff options
Diffstat (limited to 'etc/tao_pi_server.doxygen')
-rw-r--r-- | etc/tao_pi_server.doxygen | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/tao_pi_server.doxygen b/etc/tao_pi_server.doxygen index 7e423a29c28..40f8a38458d 100644 --- a/etc/tao_pi_server.doxygen +++ b/etc/tao_pi_server.doxygen @@ -77,7 +77,7 @@ HTML_HEADER = HTML_FOOTER = HTML_STYLESHEET = HTML_ALIGN_MEMBERS = YES -GENERATE_HTMLHELP = YES +GENERATE_HTMLHELP = NO #--------------------------------------------------------------------------- # configuration options related to the LaTeX output |