build system: remove configure output in Make distclean.
authorDavid Bremner <bremner@debian.org>
Thu, 2 Aug 2012 12:30:31 +0000 (09:30 -0300)
committerDavid Bremner <bremner@debian.org>
Fri, 3 Aug 2012 00:10:15 +0000 (21:10 -0300)
commit719897cdc330a41c22271fded8d911035c275dec
tree55fc4ebe7033d8a95125951b20e3498ae9913a74
parent8a745d310f966194e82f12f6453f05cc877379d6
build system: remove configure output in Make distclean.

Create a variable DISTCLEAN which contains a list of things to
clean in the distclean target (in addition to running the clean
target).

The deleted comment seems to be false these days, since we do
create files during configuration.

Use "rm -rf" here as well in case we want to add directories to
DISTCLEAN.
Makefile.local