diff --git a/docs/doxygen_config.py b/docs/doxygen_config.py index 0c6faaaf..466ba00d 100644 --- a/docs/doxygen_config.py +++ b/docs/doxygen_config.py @@ -6,3 +6,10 @@ SEARCH_RESULT_ID_BYTES = 4 SEARCH_FILE_OFFSET_BYTES = 4 SEARCH_NAME_SIZE_BYTES = 2 SEARCH_DOWNLOAD_BINARY = True +HTML_HEADER = """ + +"""