#/bin/sh

mkdir temp
cp bussproofs.sty temp/

./hypseq_ "$1" > temp/proof.tex && \
cd temp/ && \
latex proof.tex && \
dvips proof.dvi && \
mv proof.ps ../ && \
cd ../
#rm -rf temp


