Ticket #1693 (new bug)
Make distclean (still) doesn't
|Reported by:||simonpj||Owned by:||igloo|
|Type of failure:||None/Unknown||Difficulty:||Unknown|
|Test Case:||Blocked By:|
Description (last modified by simonmar) (diff)
There are various ways in which make distclean does not remove all the files it should. Please keep adding to this bug description as you find more.
The following things are not currently distcleaned and should be, and hence are ending up in the source distribution: