# convert a dvi file from latex output to pdf with nice fonts
# usage:  latex fname;   dvi2pdf fname

  dvips -Ppdf -G0 $*.dvi -o $*.ps4pdf
  ps2pdf  -dMaxSubsetPct=100 -dCompatibilityLevel=1.2 -dSubsetFonts=true -dEmbedAllFonts=true $*.ps4pdf $*.pdf
  rm $*.ps4pdf