#!/bin/csh

# this is intended to fix the mistakes that latex2html makes
# when processing guide.tex

foreach i (guide/*.html)
cp $i guide/temp_junk
echo $i
cat guide/temp_junk | sed -e 's/L<SUP>A<\/SUP>TEX <\/SUP> (Revision:/L<SUP><SMALL>A<\/SMALL><\/SUP>T<SMALL>E<\/SMALL>X/' >! $i
end