diff options
author | Nikhil Raj <nikhil.raj@arm.com> | 2023-08-18 12:47:06 +0100 |
---|---|---|
committer | Nikhil Raj <nikhil.raj@arm.com> | 2023-08-18 12:47:06 +0100 |
commit | 846a24f8256d49ad44984b8e54f37761b9ea5132 (patch) | |
tree | 84ae67ee5e67d12106173e9b5537eb07da272544 | |
parent | 7d1f7854090bce5c22210a09373e69eb0ba68218 (diff) | |
download | armnn-846a24f8256d49ad44984b8e54f37761b9ea5132.tar.gz |
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
-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 |