[EMAIL PROTECTED] (Tiarnan O Corrain) asked: > Does anyone know any utility to make pdf files from dvi or ps > ones?
Many people answered this question. One way to achieve this, is to first convert the dvi into a ps, and then convert the ps to pdf. However, at least dvips uses fixed-bitmapped fonts, that result in an ugly PDF. To prevent this (at least in my Potato system), add command line option "-Ppdf" to the dvips command that generates the ps file. Greets, Paul Huygen
