touch the DISTINCLUDE in mmhdist target

This avoids rebuilding this files. So autoconf and flex
is not need for a normal user.

diff --git a/Makefile.in b/Makefile.in
index 7ec7673..f93359d 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -177,6 +177,7 @@ mmhdist: $(DISTINCLUDE) distname
        @chmod 755 $(distdir)
        @for file in $(DISTINCLUDE); do \
          cp -p $(srcdir)/$$file $(distdir)/$$file; \
+         touch $(distdir)/$$file; \
        done
        @for file in $(DISTEXCLUDE); do \
          rm -rf $(distdir)/$$file; \