diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/Makefile | 1 | ||||
| -rw-r--r-- | documentation/src/development.dox | 11 |
2 files changed, 1 insertions, 11 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index e0ef739ee..9d17c626e 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -137,6 +137,7 @@ html/index.html: $(HTMLFILES) Doxyfile if test "x$(DOXYDOC)" = "x" ; then \ echo "Sorry - doxygen not found. Please install doxygen and run configure."; \ fi + test -d html && cp src/tiny.png html/ html-dist: html echo "Stripping HTML files ..." diff --git a/documentation/src/development.dox b/documentation/src/development.dox index 0877ecdf5..11fe2c467 100644 --- a/documentation/src/development.dox +++ b/documentation/src/development.dox @@ -344,17 +344,6 @@ The above code produces the following paragraphs: Use a single line ending with \<br\> for complicated paragraph titles. -\section development_html_footer Hack for missing "tiny.gif" file - - \todo - *HACK* : include image file for footer. Doxygen does not include - the file "tiny.gif" from "html_footer" in its output html dir. - Find out, how this can be done, or avoid using an image in - the HTML footer. - - \image html tiny.png - \image latex tiny.png "" width=2cm - \section development_navigation_test Navigation Elements Each introduction (tutorial) page ends with navigation elements. These |