Re: CVS commit: src/bin/sh

[Robert Elz <kre%munnari.OZ.AU@localhost>]

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

kre