X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FMakefile;h=de2a403c12d124d0cfc160bcea8b78f0da343f95;hb=67fea0e3bea686e59148d13765e20103f9373d24;hp=21012fe0eecf55436a46698d32d6f8c4e0808646;hpb=3ae7a50cfadde385428c599cd55d0aef2eb75ac8;p=helm.git

diff --git a/helm/Makefile b/helm/Makefile
index 21012fe0e..de2a403c1 100644
--- a/helm/Makefile
+++ b/helm/Makefile
@@ -16,6 +16,10 @@ clean.%:
 	$(MAKE) -C $* clean
 distclean.%:
 	$(MAKE) -C $* distclean
+install.%:
+	$(MAKE) -C $* install
+uninstall.%:
+	$(MAKE) -C $* uninstall
 
 BASENAME = matita
 NULL =