-
Sébastien Wilmet authored
Best practice is to use CLEANFILES to clean stuff built by make, and DISTCLEANFILES only for stuff built by configure. Everyone has to run make and it's very unexpected for 'make clean' to not clean things it builds.
4b70f5b2