release snapshot

[helm.git] / helm / Makefile

diff --git a/helm/Makefile b/helm/Makefile
index de2a403c12d124d0cfc160bcea8b78f0da343f95..30ca291c77199b01590804ee6a4806049d284f71 100644 (file)
--- a/helm/Makefile
+++ b/helm/Makefile
@@ -38,24 +38,26 @@ EXTRA_DIST =                        \
        ./configure             \
        $(NULL)
 
-dist: autotools export mktarball
-distcheck: dist extract build
+dist: dist_autotools dist_export dist_mktarball
+distcheck: dist dist_extract dist_build
 
-autotools:
+dist_autotools:
        autoconf
+       ./configure
 
-export:
+dist_export:
        rm -rf $(DISTDIR)
        mkdir $(DISTDIR)
        svn export ocaml $(DISTDIR)/ocaml
        svn export matita $(DISTDIR)/matita
        (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
+       ln -fs matita.conf.xml.user $(DISTDIR)/matita/matita.conf.xml
        mv $(DISTDIR)/ocaml $(DISTDIR)/libs
        cp -r $(EXTRA_DIST) $(DISTDIR)
 
-mktarball:
-       tar cvzf $(DISTDIR).tar.gz $(DISTDIR)
+dist_mktarball:
+       tar czf $(DISTDIR).tar.gz $(DISTDIR)
 
-.PHONY: dist export mktarball distcheck extract build autotools
+.PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_build dist_autotools
 .PHONY: all opt clean distclean