nicer doxygen output

fplll · Jul 20, 2016 · cd8ca37 · cd8ca37
1 parent e6eb248
commit cd8ca37
Show file tree

Hide file tree

Showing 6 changed files with 531 additions and 1,424 deletions.
diff --git a/Doxyfile b/Doxyfile
@@ -788,7 +788,7 @@ RECURSIVE              = YES
 # Note that relative paths are relative to the directory from which doxygen is
 # run.
 
-EXCLUDE                = 
+EXCLUDE                = doc/templates fplll/nr/dpe.h fplll/io/json.hpp
 
 # The EXCLUDE_SYMLINKS tag can be used to select whether or not files or
 # directories that are symbolic links (a Unix file system feature) are excluded
@@ -1109,7 +1109,7 @@ HTML_EXTRA_STYLESHEET  = doc/templates/customdoxygen.css
 # files will be copied as-is; there are no commands or markers available.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_EXTRA_FILES       =
+HTML_EXTRA_FILES       = doc/templates/doxy-boot.js
 
 # The HTML_COLORSTYLE_HUE tag controls the color of the HTML output. Doxygen
 # will adjust the colors in the stylesheet and background images according to

diff --git a/doc/templates/DoxygenLayout.xml b/doc/templates/DoxygenLayout.xml