added config.ac to the tarball for debian packages

Was it really required? I don't know but it worked like that before.

diff --git a/matita/Makefile b/matita/Makefile
index aa93232109482c5ed0a315e9a72c8003e57c8608..35ff6ad596590fb6bb26a432cabf8080fa3dc5e8 100644 (file)
--- a/matita/Makefile
+++ b/matita/Makefile
@@ -99,6 +99,7 @@ dist_export: dist/configure
        (cd $(DISTDIR) && find . -name .depend.opt -exec rm \{\} \;)
        (cd $(DISTDIR) && rm -rf $(CLEAN_ON_DIST))
        cp $< $(DISTDIR)/configure
+       cp dist/configure.ac $(DISTDIR)/configure.ac 
        cp -r $(EXTRA_DIST) $(DISTDIR)
        cp -r $(EXTRA_DIST_matita) $(DISTDIR)/matita
        # distribute HTML version of the manual