diff options
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/Makefile | 4 | ||||
| -rwxr-xr-x | documentation/strip_tags | 4 |
2 files changed, 5 insertions, 3 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 diff --git a/documentation/strip_tags b/documentation/strip_tags index 944ad417a..0f652fbb0 100755 --- a/documentation/strip_tags +++ b/documentation/strip_tags @@ -1,5 +1,5 @@ for f in html/*.html ; do - cat $f | sed 's/<!-- ... ... .*:..:.. ....\. -->/<!-- date removed for reducing unnecessary svn web updates -->/' > $f.tmp + sed 's/<!-- ... ... .*:..:.. ....\. -->/<!-- date removed for reducing unnecessary svn web updates -->/' $f > $f.tmp rm $f mv $f.tmp $f -done
\ No newline at end of file +done |