# takes ps file and puts it in pdf format
# dvips -Ppdf -o filename.ps filename.dvi
# (tex to ps:  dvips -o file.ps file, where file.tex, file.dvi)
# for creating a ps file.
#distill -embedallfonts on -maxsubsetpct 100 filename.ps
ps2pdf $1

