From 1b2011402ac3fb6d7b28e8eb3178a70a6d1b3d14 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Tue, 7 Nov 2017 13:44:57 +0100
Subject: Update README.md

---
 README.md | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index b33517a..9bb2645 100644
--- a/README.md
+++ b/README.md
@@ -18,8 +18,14 @@ the more recent `OPAM` one. The released and current dev version are
 also available as opam packages.
 
 ## Compilation and installation of released and current dev version with OPAM
+If you just installed opam you may have to do the following. You may also want
+to read opam user manual first https://opam.ocaml.org/doc/Usage.html
+```
+opam init
+eval `opam config env`
+```
+Once your opam envionement is configure you can install any math-comp package via
 ```
-opam init # if you use opam for the first time
 opam repo add coq-released https://coq.inria.fr/opam/released
 opam pin add -n coq -k version 8.7.0
 opam install coq -j3
-- 
cgit v1.2.3