Re: Making PDF files from dvi

[Paul Huygen <pemhuygen@chello.nl>]

 ocorrain@esatclear.ie (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