#!/bin/bash
# Released under the terms of the General Public License (GPL).
# The GPL can be found at:
# http://www.gnu.org/copyleft


latex $1;
bibtex ${1%tex}aux;
cp ${1%tex}aux.bbl ${1%tex}bbl;
pdflatex $1;
pdflatex $1;
xpdf ${1%tex}pdf &

#latex $1;
#latex $1;
# check that dvi looks alright:
#xdvi ${1%tex}dvi &

# CAREFUL! dvips will automatically attempt
# to print to default printer!!!
#dvips ${1%.tex} -o ${1%tex}ps;
#kghostview ${1%tex}ps &