convert ASCII files to PostScript
