#!/bin/sh
dst=icfp75-sozeau
sh makebib.sh
pdflatex main.tex
pdflatex main.tex
latex main.tex
latex main.tex
cat main.tex > ${dst}.tex
cat ../doc/*.tex >> ${dst}.tex
cat main.bbl >> ${dst}.tex
cp main.pdf ${dst}.pdf
dvips -t letter -o ${dst}.ps main.dvi