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 <jo...@bec.de> > Message-ID: <20170317134331.ga14...@britannica.bec.de> > > | 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
