Oops: r9004 should have removed various pieces from the Makefile and
[u/mdw/putty] / doc / manpages.but
2004-03-24 simonNow that Halibut is capable of generating man pages...