diff options
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index e494c16fd..dd1256676 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -271,6 +271,8 @@ html/index.html: $(HTMLFILES) $(IMAGEFILES) Doxyfile -$(RMDIR) html -$(INSTALL_DIR) html -$(DOXYDOC) + +html-dist: html echo "Stripping HTML files..." ./strip_tags @@ -279,7 +281,7 @@ html/index.html: $(HTMLFILES) $(IMAGEFILES) Doxyfile # $(RM) fltk.ps # -$(HTMLDOC) --verbose --batch $(SRC_DOCDIR)/fltk.book $(MEDIA) -f fltk.ps -pdf-dist : latex/refman.pdf +pdf-dist: latex/refman.pdf cp -f latex/refman.pdf fltk.pdf pdf: latex/refman.pdf |