Herbert Voss wrote:
Richard Heck wrote:
Yes. How about this. Just say, explicitly:
[X] Use -Pprinter parameter with dvips.
And then, for a tooltip:
Adjusts dvips output for a particular printer. (Note: dvips must be
pre-configured for that printer.)
dvips is not pre-configured, it uses always a config file, at least config.ps
What that is meant to mean is: You (the user) must see to it that dvips
has been configured for your particular printer; i.e., dvips must have
been previously configured to use this printer. Yes?
Richard
--
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto