diff --git a/Makefile b/Makefile
index f209927..e11fb20 100644
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,12 @@ coq: Makefile.coq
 Makefile.coq: Makefile $(MODULES)
 	$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
 
+install: Makefile.coq
+	$(MAKE) -f Makefile.coq install
+
+uninstall: Makefile.coq
+	$(MAKE) -f Makefile.coq uninstall
+
 clean:: Makefile.coq
 	$(MAKE) -f Makefile.coq clean
 	rm -f Makefile.coq