- "ocaml/" -> "libs/" in the distribution

[helm.git] / helm / Makefile

diff --git a/helm/Makefile b/helm/Makefile
index 493f383da8b25d92d7dd785563d3f7101aa2d3c2..2eb93cd411b7136dc1a820d1758658dd496634ba 100644 (file)
--- a/helm/Makefile
+++ b/helm/Makefile
@@ -25,6 +25,7 @@ export:
        svn export ocaml $(DISTDIR)/ocaml
        svn export matita $(DISTDIR)/matita
        (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
+       mv $(DISTDIR)/ocaml $(DISTDIR)/libs
        cp -r $(EXTRA_DIST) $(DISTDIR)
 
 mktarball: