WYSIWYM printing

[Reuben Thomas]

As well as (or perhaps instead of) specifying page ranges, it should be
possible to give section ranges.

-- 
http://www.cl.cam.ac.uk/users/rrt1001/ | maxim, n.  wisdom for fools