From 081c038388b2822d4755a110d444f13afad97165 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 24 May 2016 09:24:59 +0000 Subject: [PATCH] added config.ac to the tarball for debian packages Was it really required? I don't know but it worked like that before. --- matita/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/matita/Makefile b/matita/Makefile index aa9323210..35ff6ad59 100644 --- 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 -- 2.39.2