commit ef0f3e7ac2d49d5eb36adb45c12b3b64fb8dd46f
author Nikhil Raj <nikhil.raj@arm.com> Fri Aug 18 12:47:06 2023 +0100
committer John Mcloughlin <john.mcloughlin@arm.com> Fri Aug 18 18:06:18 2023 +0100
tree 84ae67ee5e67d12106173e9b5537eb07da272544
parent 6a7434efa6379bee819ba493b11a4a87a30f37b0

IVGCVSW-6212 Search bar on github in doxygen docu not working

* Update HTML_FILE_EXTENSION to html

Signed-off-by: Nikhil Raj <nikhil.raj@arm.com>
Change-Id: I7b4107007378a37ef470087e977dd0aaeae2f0cc

docs/Doxyfile

diff --git a/docs/Doxyfile b/docs/Doxyfile
index b163241..0a08f3f 100644
--- a/docs/Doxyfile
+++ b/docs/Doxyfile
@@ -1161,7 +1161,7 @@
 # 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