summaryrefslogtreecommitdiff
path: root/INSTALL.md
diff options
context:
space:
mode:
authorRobert Norton2019-12-04 15:25:25 +0000
committerRobert Norton2019-12-04 15:25:25 +0000
commit8cf922bf32ed1e91aebaacaa2af83a8655da1293 (patch)
tree3da12bbe099ef1029e8d2bb6fccb82174091bbe2 /INSTALL.md
parent29b96427b627b69e163b3f2c8effddc1dc9db60a (diff)
Move building from source instructions from wiki into repo and update links. Other minor tweaks.
Diffstat (limited to 'INSTALL.md')
-rw-r--r--INSTALL.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/INSTALL.md b/INSTALL.md
index bcba99ee..dddacb17 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -1,6 +1,6 @@
-# How to install Sail using opam (OCaml package manager)
+# How to install Sail using opam
-First, install opam if you haven't already. You can use your system's package
+First, install opam (the OCaml package manager) if you haven't already. You can use your system's package
manager e.g. `sudo apt-get install opam` or follow the [instructions
from the opam website](https://opam.ocaml.org/doc/Install.html).
Depending on your system and how you installed opam you may get either