# where ${FORMAT} is either ppm or png.
# Three helper functions.
# where ${FORMAT} is either ppm or png.
# Three helper functions.
which ${EXECUTABLE} > /dev/null ||
{
echo "Unable to find \"${EXECUTABLE}\". Please install."
which ${EXECUTABLE} > /dev/null ||
{
echo "Unable to find \"${EXECUTABLE}\". Please install."
# Remove everything except the original .tex file.
FILES=`ls ${BASE}* | sed -e "/${BASE}.tex/d"`
rm -f ${FILES} texput.log
# Remove everything except the original .tex file.
FILES=`ls ${BASE}* | sed -e "/${BASE}.tex/d"`
rm -f ${FILES} texput.log
echo "We require preview.sty version 0.73 or newer. You're using"
grep 'Package: preview' ${LOGFILE}
}
echo "We require preview.sty version 0.73 or newer. You're using"
grep 'Package: preview' ${LOGFILE}
}