#!/bin/sh for HTMLFILE in $*; do # create temp filename without directories # TMPFILE=/tmp/`echo $HTMLFILE | sed -e "s:/:_:g"` # show file name on STDERR echo $HTMLFILE ... 1>&2 # treat URL ampersand in my top index.html! (hack) # sed -e "s#83&PARAM2#83-PARAM2#" < $HTMLFILE > $TMPFILE # call SGLM parser with libraries for HTML 3.2 and 4.0 # nsgmls -c /usr/doc/packages/sp/html-xml/HTML32.soc \ # -c /usr/doc/packages/sp/html-xml/HTML4.soc \ # -s $TMPFILE && echo '... valid' 1>&2 # rm -f $TMPFILE nsgmls -c /usr/share/sgml/html-4.0/HTML4.cat \ -c /usr/share/sgml/html-3.2/HTML32.cat \ -s $HTMLFILE && echo '... valid' 1>&2 done