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