(my-distcheck): Remove $(DEPDIR) to work around automake bug.

diff --git a/Makefile.maint b/Makefile.maint
index 54d846ff25190bfa19b7e64b1cf4fd324667dfe9..6066f2d9f69ceeaccf3bc1eef151a2afa82b3a6d 100644 (file)
--- a/Makefile.maint
+++ b/Makefile.maint
@@ -43,11 +43,14 @@ my-distcheck:
        -rm -rf $(t)
        mkdir $(t)
        GZIP=$(GZIP) $(AMTAR) -C $(t) -zxf $(distdir).tar.gz
+# Removing $(DEPDIR) like this is a gross kludge to work around a bug
+# in automake.  Remove that line once it's fixed.
        cd $(t)/$(distdir) \
          && ./configure --disable-nls \
          && $(MAKE) CFLAGS='-Wformat -Werror' \
          && $(MAKE) dvi \
          && $(MAKE) check \
+         && rm -rf $(DEPDIR) \
          && $(MAKE) distclean
        cd $(t) && mv $(distdir) $(distdir).old \
          && $(AMTAR) -zxf ../$(distdir).tar.gz