From bcba70f86ac39c3d234da0d696c4b32a741e71cf Mon Sep 17 00:00:00 2001
From: Enrico
Date: Fri, 8 Jun 2018 10:21:22 +0200
Subject: Update INSTALL.md

---
 INSTALL.md | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'INSTALL.md')

diff --git a/INSTALL.md b/INSTALL.md
index 2c0769a..8857dad 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -33,14 +33,18 @@ opam install coq-mathcomp-ssreflect.dev -j3
 
 ## Compilation and installation in a dedicated OPAM root
 
-If you want to install the library in a sedicated environment
-(lets name it `MC`) which
-will remain independed from your current OPAM setup you can:
+If you want to install the library in a dedicated environment
+(let's name it `MC`) which will remain independent from your
+current OPAM setup you can run the following commands:
 ```
 opam init --root=$PWD/MC
 eval `opam config env --root=$PWD/MC`
 ```
-After that the instructions above apply.
+After that the installations instructions above apply.
+
+Coq and the library are installed in the `$PWD/MC` directory
+(called an OPAM root). To discard the OPAM root, simply delete
+the directory.
 
 ## Compilation and installation with make
 
-- 
cgit v1.2.3