#!/bin/bashhhhhh
document_stripped_name=$(echo $1 | sed -e "s/.tex$//")
rm -f $document_stripped_name.dvi
tex $document_stripped_name.tex
dvips -o $document_stripped_name.ps $document_stripped_name.dvi
ps2pdf $document_stripped_name.ps
xpdf $document_stripped_name.pdf