#!/bin/sh
BASENAME=$(basename $1 .doc)

if [ ! -e "$1" ]
then
  echo "File $1 not found."
  exit $E_NOSUCHFILE
fi

doctex $1

rm -f $BASENAME.tmp

echo "\\documentstyle[hol1]{article}" >>$BASENAME.tmp
echo "\\\\ftlinepenalty=0\n" >>$BASENAME.tmp
echo "\\\begin{document}" >>$BASENAME.tmp
echo "\\\\tabstop=0.25in\n" >>$BASENAME.tmp

cat $BASENAME.tex >>$BASENAME.tmp

echo "\\\end{document}" >>$BASENAME.tmp

mv $BASENAME.tmp $BASENAME.tex
