From 778d8930a0f59c39f908be8f6e6f81a51afd924e Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 16 Mar 2016 10:38:46 +0100
Subject: [PATCH] make install in README.

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index 2c82ff74f..98948f111 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
 
-- 
GitLab