diff --git a/README.md b/README.md
index 2c82ff74fc249e6b88a08e2e902502986ebde8a4..98948f1110992b4346d47e604f0b6d43cdd861b8 100644
--- a/README.md
+++ b/README.md
@@ -17,6 +17,10 @@ Run the following command to build the full development:
 
     make
 
+The development can then be installed as the Coq user contribution `iris' by
+running:
+
+    make install
 
 # STRUCTURE