#
latex ziegler6.tex
latex ziegler6.tex
dvips -z ziegler6.dvi > ziegler6.ps
dvips -z -Ppdf -o tmp.ps ziegler6.dvi
ps2pdf tmp.ps ziegler6.pdf
/bin/rm tmp.ps
chmod og+r *