diff options
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 1 |
1 files changed, 1 insertions, 0 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 ..." |