Close on exit. I'm not entirely happy with the distribution of this
[u/mdw/putty] / doc / man-pg.but
2004-03-24 simonNow that Halibut is capable of generating man pages...