20 lines
590 B
Plaintext
20 lines
590 B
Plaintext
DEST="../../httpdocs/nt"
|
|
for i in *.tex
|
|
do
|
|
BASE=`basename $i .tex`;
|
|
TEX="w-$i";
|
|
if [ -e "w-$i" ] && [ "$BASE.tex" -nt "$DEST/$BASE.htm" ];
|
|
then
|
|
tth <$TEX -L$BASE |
|
|
sed 's#<h3>Footnotes:</h3>##' | \
|
|
grep -v '<br /><br /><hr /><small>File translated from' | \
|
|
grep -v 'T<sub><font size="-1">E</font></sub>X' | \
|
|
grep -v 'by <a href="http://hutchinson.belmont.ma.us/tth/">' | \
|
|
grep -v 'T<sub><font size="-1">T</font></sub>H</a>,' | \
|
|
grep -v 'version 3.68.<br' | \
|
|
sed 's#<hr#<hr align=left size=1 width="33%"#' \
|
|
>$DEST/$BASE.htm
|
|
fi
|
|
done
|
|
|