(my-distcheck): Tweak.

diff --git a/Makefile.maint b/Makefile.maint
index 60e32550436ef1b40caa4b4e9a69a3cb43ddf5ac..712549897ac86febaab9b605e42ac964bf138a79 100644 (file)
--- a/Makefile.maint
+++ b/Makefile.maint
@@ -37,8 +37,9 @@ my-distcheck: dist
          && $(MAKE) dvi \
          && $(MAKE) check \
          && $(MAKE) distclean
-       cd $(t) && $(TAR) -zxf ../$(distdir).tar.gz
-       diff -ur $(t) $(t)/$(distdir)
+       cd $(t) && mv $(distdir) $(distdir).old \
+         && $(TAR) -zxf ../$(distdir).tar.gz
+       diff -ur $(t)/$(distdir).old $(t)/$(distdir)
        -rm -rf $(t)
        @echo "========================"; \
        echo "$(distdir).tar.gz is ready for distribution"; \