diff --git a/docs/Doxyfile b/docs/Doxyfile index ce12d81d3..46d6d846d 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 356b2ce54..5104d81c2 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 000000000..e69de29bb