These documents are in LaTeX format.  You should be able to simply
run "latex draft" in a subdirectory to generate the DVI file, and then
"dvi2ps" to generate PostScript.  Consult your local TeX manual pages
for details on how these commands work at your site.
