#!/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