I quote from a gnat's bulletin that was sent in:

> >Description:
> 
> In the /usr/src hierarchy, formatted man pages don't get removed by
> 'make clean'. If it becomes necessary to regenerate all the formatted
> man pages, getting rid of the old ones is cumbersome.


This is by design. To get rid of the man pages you would say
	`make cleandir'

I'm glad it works this way. I don't wish to update my man pages
quite as often as I update my installed binaries.


------------------------------------------------------------------------------