laall
bibtex all
laall
bibtex all
makeindex -c -s makeindex.config all >& /dev/null
laall
bibtex all
makeindex -c -s makeindex.config all >& /dev/null
laall
bibtex all
makeindex -c -s makeindex.config all >& /dev/null
laall
bibtex all
makeindex -c -s makeindex.config all >& /dev/null
laall
(echo "all.ps.gz being produced"; mydvips all >& /dev/null;
 gzip -9f all.ps; echo "all.ps.gz written") &
(echo "all.pdf being produced"; dvipdfm all;
 echo "all.pdf written")