[texhax] Convert pdf to png or other picture format

[William F Hammond]

Bob Tennent <rdt at cs.queensu.ca> writes:

> PDF is usually a vector-graphic format without an inherent resolution.
>
> To get higher resolution than the default (likely 100dpi) use
>
> convert -density nnn name.pdf name.jpg
>
> where nnn is as large as you want. 200 should be good enough for
> most purposes.

I'm finding that specifying density makes the output from "convert" better,
but the best result I've had is with "pdftoppm" (xpdf/poppler) followed
by "ppmtojpeg" (not seeing a ppm to png converter).

                              -- Bill