- Do we really need to export PDF in many different ways? My machine
at work suggests PDF (just PDF), PDF (pdflatex), and a third one
(don't remember). Can't we just offer the best one?
In a word: "No."
At least not until the figure inset (a.k.a. oldgraphics inset) is
completely replaced by the graphics inset. The graphics inset can
then convert graphics to suitable formats (eps->pdf for example) and
we could set a ranking of:
pdflatex
latex->dvips->ps2pdf
some other convoluted conversion process
However, I don't have a problem with seeing choices for the conversion
processes in the menus. Then again, I always use pdflatex if I want
pdf.
So this entry should probably be shifted to the "won't fix until after
1.2.x" collection.
Allan. (ARRae)
