Added initial support for inversion principles in Matita NG.

[helm.git] / helm / software / components / binaries / matitaprover / Makefile

diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile
index 2b35935d95b5a8e7de4b5aabd8a9f8d1dc26391f..edae652aecf7410f7a355e0e4363ecbe2886bfac 100644 (file)
--- a/helm/software/components/binaries/matitaprover/Makefile
+++ b/helm/software/components/binaries/matitaprover/Makefile
@@ -11,6 +11,7 @@ clean:
 
 dist:
        mkdir -p $(DIST)/Sources
+       cp ReadMe $(DIST)
        cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
        cd $(DIST); ln -s Sources/matitaprover.native matitaprover
        tar -cvzf $(DIST).tgz $(DIST)