diff --git a/Makefile b/Makefile
index f157b50..eea1dca 100644
--- a/Makefile
+++ b/Makefile
@@ -4,6 +4,9 @@ all: Makefile.coq
 test: all
 	$(MAKE) -C test-suite
 
+install: all
+	$(MAKE) -f Makefile.coq install
+
 Makefile.coq: _CoqProject
 	coq_makefile -f _CoqProject -o Makefile.coq