Subject: Re: misc/101: 'make clean' doesn't remove formatted (*.0) man pages
To: current-users <>
From: Burgess, David (TSgt) ~U <BurgessD@J64.STRATCOM.AF.MIL>
List: current-users
Date: 01/26/1994 08:49:00
I find that the 'sup' update that tries to delete directories does not know 
about the obj directory.  THat makes the 'sup' directory delete fail, 
because the directory is not empty.

I haven't even looked at the source to see what it would take to change the 
logical 'rmdir' to a logical    'rm -fr', but I expect that iot won't be a 
big deal.
>From: owner-current-users
>To: current-users; mckim
>Subject: Re:  misc/101: 'make clean' doesn't remove formatted (*.0) man 
>Date: Tuesday, January 25, 1994 2:41PM
>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.