diff --git a/README.md b/README.md
index 2c82ff74fc249e6b88a08e2e902502986ebde8a4..43038999c3c9505b255fdfce4998a26e6f305e8a 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