From ef0f3e7ac2d49d5eb36adb45c12b3b64fb8dd46f Mon Sep 17 00:00:00 2001 From: Nikhil Raj Date: Fri, 18 Aug 2023 12:47:06 +0100 Subject: IVGCVSW-6212 Search bar on github in doxygen docu not working * Update HTML_FILE_EXTENSION to html Signed-off-by: Nikhil Raj Change-Id: I7b4107007378a37ef470087e977dd0aaeae2f0cc --- docs/Doxyfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.1