Move Doxygen site header to docs/assets

This commit cleans up the root-level of the repository by moving doxygen_header.html into `asylo/docs/assets` -- a much better spot. It also renames the footer file to be consistent with the header. PiperOrigin-RevId: 271391951 Change-Id: I481d7be56ccd55012db0c1d09dd60b6f99ad76d8
google · Sep 26, 2019 · 725696d · 725696d
1 parent 5893a6d
commit 725696d
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/Doxyfile b/Doxyfile
@@ -1192,7 +1192,7 @@ HTML_FILE_EXTENSION    = .html
 # of the possible markers and block names see the documentation.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_HEADER            = doxygen_header.html
+HTML_HEADER            = asylo/docs/assets/doxygen_header.html
 
 # The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each
 # generated HTML page. If the tag is left blank doxygen will generate a standard
@@ -1202,7 +1202,7 @@ HTML_HEADER            = doxygen_header.html
 # that doxygen normally uses.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_FOOTER            = asylo/docs/assets/footer.html
+HTML_FOOTER            = asylo/docs/assets/doxygen_footer.html
 
 # The HTML_STYLESHEET tag can be used to specify a user-defined cascading style
 # sheet that is used by each HTML page. It can be used to fine-tune the look of

diff --git a/asylo/docs/assets/footer.html → asylo/docs/assets/doxygen_footer.html b/asylo/docs/assets/footer.html → asylo/docs/assets/doxygen_footer.html
diff --git a/doxygen_header.html → asylo/docs/assets/doxygen_header.html b/doxygen_header.html → asylo/docs/assets/doxygen_header.html