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