Subject: Re: misc/101: 'make clean' doesn't remove formatted (*.0) man pages
To: None <,>
From: Theo Deraadt <>
List: current-users
Date: 01/25/1994 14:41:02
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.