release work snapshot ...

[helm.git] / helm / Makefile

diff --git a/helm/Makefile b/helm/Makefile
index 21012fe0eecf55436a46698d32d6f8c4e0808646..de2a403c12d124d0cfc160bcea8b78f0da343f95 100644 (file)
--- 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 =