changeset 269:d049fe0beb05

Check for HTML Tidy and clean up HTML output if it is present.
author Matti Hamalainen <ccr@tnsp.org>
date Wed, 15 Feb 2006 07:34:34 +0000
parents 2b870ccb1b1d
children 17bab0d7060a
files docs/build-docs.sh
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/docs/build-docs.sh	Wed Feb 15 07:13:22 2006 +0000
+++ b/docs/build-docs.sh	Wed Feb 15 07:34:34 2006 +0000
@@ -8,6 +8,7 @@
 CONVERT=`which convert`
 PNMTOPS=`which pnmtops`
 GIFTOPNM=`which giftopnm`
+TIDY=`which tidy`
 
 ### Convert images
 echo "* Checking for image to EPS converting utilities ..."
@@ -34,6 +35,12 @@
 echo "* HTML"
 $JW -f docbook -b html -o html $SRCFILE
 
+echo "** Checking for HTML Tidy ..."
+if test -n "$JW" && test -x "$JW"; then
+	echo "** Found, cleaning up the mess by DocBook .."
+	$TIDY -asxhtml -i -m html/*.html
+fi
+
 echo "* PostScript"
 $JW -f docbook -b ps $SRCFILE