diff options
author | Nikhil Raj <nikhil.raj@arm.com> | 2023-08-18 12:47:06 +0100 |
---|---|---|
committer | John Mcloughlin <john.mcloughlin@arm.com> | 2023-08-18 18:06:18 +0100 |
commit | ef0f3e7ac2d49d5eb36adb45c12b3b64fb8dd46f (patch) | |
tree | 84ae67ee5e67d12106173e9b5537eb07da272544 /docs | |
parent | 6a7434efa6379bee819ba493b11a4a87a30f37b0 (diff) | |
download | armnn-ef0f3e7ac2d49d5eb36adb45c12b3b64fb8dd46f.tar.gz |
IVGCVSW-6212 Search bar on github in doxygen docu not workingv23.08branches/armnn_23_08
* Update HTML_FILE_EXTENSION to html
Signed-off-by: Nikhil Raj <nikhil.raj@arm.com>
Change-Id: I7b4107007378a37ef470087e977dd0aaeae2f0cc
Diffstat (limited to 'docs')
-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 |