diff options
Diffstat (limited to 'Makefile.maint')
| -rw-r--r-- | Makefile.maint | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.maint b/Makefile.maint index 60e325504..712549897 100644 --- 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"; \ |