Select pages to be output from a document
Requires a file of page numbers, which specifies the numbers of
pages to print (in generated order).
The code was published in TUGboat 8(2) (July 1987).
See also selectp.
The author is Donald E. Knuth.
Version dated: 1987-07-02