Autzoo.219
gripes
utzoo!henry
Sun Feb 22 23:16:49 1981
deleting manual pages
The makefiles etc. that maintain the preformatted manual pages and
the manual table-of-contents files are not smart enough to remove
the preformatted version of a file that has been deleted.