diff options
| -rw-r--r-- | docs/Doxyfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Doxyfile b/docs/Doxyfile index b163241624..0a08f3f636 100644 --- a/docs/Doxyfile +++ b/docs/Doxyfile @@ -1161,7 +1161,7 @@ HTML_OUTPUT = html # The default value is: .html. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_FILE_EXTENSION = .xhtml +HTML_FILE_EXTENSION = .html # The HTML_HEADER tag can be used to specify a user-defined HTML header file for # each generated HTML page. If the tag is left blank doxygen will generate a |