X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2FMakefile;h=4558a011cb2b22fb99740be45c612492d3ef2683;hb=0f6c7f05574786ce52a8a5950e76f4e45ad5ee88;hp=0d1867293bdb3b1687a60a8d6844d1199ac916b1;hpb=7be6aeb94aa8da17732511a4844bd108976f947f;p=helm.git

diff --git a/helm/ocaml/Makefile b/helm/ocaml/Makefile
index 0d1867293..4558a011c 100644
--- a/helm/ocaml/Makefile
+++ b/helm/ocaml/Makefile
@@ -76,6 +76,10 @@ distclean: clean clean_metas
 	$(MAKE) -C $* depend 
 %.stats:
 	@$(MAKE) -C $* .stats
+%.install:
+	$(MAKE) -C $* install 
+%.uninstall:
+	$(MAKE) -C $* uninstall 
 
 METAS/META.helm-%: METAS/meta.helm-%.src
 	cp $< $@ && echo "directory=\"$(shell pwd)/$*\"" >> $@