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 
pages
>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.
>
>

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