[texhax] Convert pdf to png or other picture format

[Bob Tennent]

 >|> 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).

"Best" in what sense?  To compress pngs, I use optipng.

Bob T.