* Makefile.in: Fix extraclean rule.
commit126b0d9865bd96953597cb2782e42e18136f2460
authorGlenn Morris <rgm@gnu.org>
Sat, 23 May 2015 22:05:02 +0000 (23 15:05 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 23 May 2015 22:05:02 +0000 (23 15:05 -0700)
tree8f67eb377d9199309adeb4016266ad62d7acec4f
parent85d94d6587846ac7715e19081c9bd4374a27174c
* Makefile.in: Fix extraclean rule.

(extraclean_dirs): New.
(extraclean): Use it.
Makefile.in