🚀 go-pugleaf

I recently asked for a way to print selected pages of a LaTeX
document in order to save time, paper, and printer toner.

I have received many replies, for which I thank you all.

In case others have the same problem I felt I should tell the
net what I learned.

First, dvi drivers are SUPPOSED to have this ability. Unfortunately,
our LN03 driver does not work quite right so we cannot use it for 
this.

However, there is a utility program, "dviselect", which chops out
portions of the .dvi file. This was on our distribution tape, but 
had not been compiled because our guru had not known about it.
Once it was installed it worked like a charm.

As a secondary benefit, selecting pages also reduces the number of
fonts that may have to be loaded.  This allows us to print a 
document that used to overflow the rather limited font buffer of 
our printer.

Len