[AUCTeX] Suggestion about PDF generation

[Augusto Stoffel]

I had to tweak AUCTeX, so that PDF files are generated with dvips instead of
pdflatex. It was necessary because neither xdvi nor pdflatex works right with
pstricks.

I think that there should be a straightforward way of choosing how PDF are
generated. For example, instead of simply switching PDF mode on or off, it would
be possible to choose among "Generate DVI", "Generate PDF with pdflatex",
"Generate PDF with dvips", etc.

I hope my suggestion is relevant.

Augusto.