diff options
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index a2a7d06a0..e494c16fd 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -271,6 +271,8 @@ html/index.html: $(HTMLFILES) $(IMAGEFILES) Doxyfile -$(RMDIR) html -$(INSTALL_DIR) html -$(DOXYDOC) + echo "Stripping HTML files..." + ./strip_tags #fltk.ps: $(HTMLFILES) $(IMAGEFILES) # echo "Generating PostScript documentation..." |