summaryrefslogtreecommitdiff
path: root/manual/README.md
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2016-05-03 17:23:37 +0200
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2016-05-03 17:23:37 +0200
commitcff9c4e624ca8a9ab5891c4c95c38fc5a6b54681 (patch)
tree1d6e8bc8d4d72af0b1de24491a0eeb43676bcafa /manual/README.md
parente858cc1243f3bbc7db642e31ca349aace8264f3c (diff)
downloadocaml-cff9c4e624ca8a9ab5891c4c95c38fc5a6b54681.tar.gz
Fix a few typos.
Diffstat (limited to 'manual/README.md')
-rw-r--r--manual/README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/README.md b/manual/README.md
index a0f8d6d55f..9f981282eb 100644
--- a/manual/README.md
+++ b/manual/README.md
@@ -25,7 +25,7 @@ Building
1. Run `make` in the manual.
NB: If you already set `LD_LIBRARY_PATH` (OS X: `DYLD_LIBRARY_PATH`)
- in you environnement don't forget to add
+ in your environment don't forget to add
`otherlibs/unix:otherlibs/str` to it in an absolute way.
Outputs