#!/bin/sh

# Usage: <!--%TEX data-->

DOC=$PPIDOC
NUM=$PPINUM
cat > $DOC-$NUM.tex << HEAD
\documentstyle[12pt]{article}
\unitlength 0.2in
\thispagestyle{empty}
\begin{document}
\noindent
HEAD
cat >> $DOC-$NUM.tex
cat >> $DOC-$NUM.tex << FOOT
\end{document}
FOOT
latex $DOC-$NUM.tex > .latex-errors
dvips $DOC-$NUM.dvi > $DOC-$NUM.ps
pstogif $DOC-$NUM.ps $DOC-$NUM.GIF > .pstogif-errors
giftrans -t 1 -b 0 $DOC-$NUM.GIF > $DOC-$NUM.gif
rm $DOC-$NUM.tex $DOC-$NUM.dvi $DOC-$NUM.ps $DOC-$NUM.aux $DOC-$NUM.log $DOC-$NUM.GIF 
echo -n "<IMG SRC=\"$DOC-$NUM.gif\" ALT=\"$DOC-$NUM\">"