cp /usr/local/bin/boxhead $1.pamphlet
cat $1 >>$1.pamphlet
cat /usr/local/bin/boxtail >>$1.pamphlet
mv $1 $1.org
document $1
echo diffing $1 $1.org
diff $1 $1.org
rm -f $1.dvi
echo if files do not differ it is safe to rm $1 $1.org

