>>>>> "Rob" == Rob Lahaye <[EMAIL PROTECTED]> writes:
Rob> Thanks Allan. That helps. *BUT*: we are violating the
Rob> configurable printing setup from the preferences here, by
Rob> allowing input that is very, very specific to dvips.
Rob> "-pp" is configurable in the preferences and we should keep its
Rob> arguments as general as possible. There will always be the
Rob> straightforward from/to input for whatever is used instead for an
Rob> alternative dvips (say ${dvips}) and "-pp" (say ${pp}):
Rob> ${dvips} [...] ${pp} ${from}-${to}
A possibility to avoid this problem could be to drop support for -pp
and use dviselect instead to do the page selection work. I do not know
how standard dviselect is, though.
Unfortunately, there is a lot of hardcoded stuff in dvips/xdvi
support. It would be nice to get rid of it, but I am not sure how to
do it.
JMarc
