diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/Doxyfile | 2 | ||||
-rw-r--r-- | docs/Makefile | 5 | ||||
-rw-r--r-- | docs/footer.jd | 0 |
3 files changed, 3 insertions, 4 deletions
diff --git a/docs/Doxyfile b/docs/Doxyfile index ce12d81..46d6d84 100644 --- a/docs/Doxyfile +++ b/docs/Doxyfile @@ -948,7 +948,7 @@ HTML_HEADER = $(HTML_HEADER) # each generated HTML page. If it is left blank doxygen will generate a # standard footer. -HTML_FOOTER = +HTML_FOOTER = $(HTML_FOOTER) # 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 diff --git a/docs/Makefile b/docs/Makefile index 356b2ce..5104d81 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -8,7 +8,6 @@ html: $(HEADERS) Doxyfile jd: $(HEADERS) Doxyfile header.jd mkdir -p jd - HTML_HEADER=header.jd HTML_OUTPUT=jd doxygen - for file in jd/*.html; do mv "$${file}" "$${file/\.html/\.jd}"; done + HTML_HEADER=header.jd HTML_FOOTER=footer.jd HTML_OUTPUT=jd doxygen + for file in jd/*.html; do mv "$${file}" "$${file/.html/.jd}"; done rm -f jd/index.jd - diff --git a/docs/footer.jd b/docs/footer.jd new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/docs/footer.jd |