Re: CVS commit: src/bin/sh

[Joerg Sonnenberger <joerg%bec.de@localhost>]

On Fri, Mar 17, 2017 at 09:31:23PM +0700, Robert Elz wrote:
>     Date:        Fri, 17 Mar 2017 14:43:31 +0100
>     From:        Joerg Sonnenberger <joerg%bec.de@localhost>
>     Message-ID:  <20170317134331.GA14803%britannica.bec.de@localhost>
> 
>   | make distclean?
> 
> That cleans the sh.html1 file (though that one should be removed by
> make clean as well) but still didn't clean up modern debug trace files
> left around (does now) - modern means since 1995 or thereabouts...

Sure, my point is primarily about the HTML man page. Just like you don't
clean the cat page by hand.

Joerg