Paul A. Rubin wrote: > Is the extension field in Edit->Preferences->File formats documented > anywhere? I tried changing the extension for a clone of the PDF > (pdflatex) format to 'pdf4' (because I was trying to open it in a > non-Acrobat viewer, and the files were opening in Acrobat Reader > regardless). Turns out this doesn't work, because pdflatex gives the > file a .pdf extension regardless.
Define a pdf4 format but give it a .pdf extension. Then define a converter to pdf4. -- Angus