Synopsis: Distclean target does not clean everything State-Changed-From-To: feedback->closed State-Changed-By: brendan State-Changed-When: Tue, 04 Oct 2005 06:37:28 +0200 State-Changed-Why: Believed fixed; no feedback. **** Comment added by brendan on Tue, 04 Oct 2005 06:37:28 +0200 ****