html: put a new line after body

[ctxt.git] / runtests.sh

trace="/dev/shm/ctxttrace.diff"
echo "">$trace

for x in tests/*.txt
do
        name=`basename $x .txt`
        result="/dev/shm/$name.tex"
        ./ctxt <$x >$result
        diff -u tests/$name.tex $result >>$trace
        if [ "$?" != "0" ]
        then
                echo -n "!"
        fi
        echo "  $name"
        rm $result
done