summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFrançois Bobot <francois.bobot@cea.fr>2015-11-23 15:02:53 +0100
committerFrançois Bobot <francois.bobot@cea.fr>2015-11-23 15:02:53 +0100
commit24299525a8efdb001ec2bff45c8e8f8334fc0889 (patch)
tree049c8865dd8b487a8269437706408f9dfde66a72
parentfe318c9719c751f529209afa48d7218eebd1c5e5 (diff)
downloadocaml-24299525a8efdb001ec2bff45c8e8f8334fc0889.tar.gz
Some current shortcoming of the manual compilation
-rw-r--r--manual/README.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/README.md b/manual/README.md
index b94d4fdbcd..9998d5d5a4 100644
--- a/manual/README.md
+++ b/manual/README.md
@@ -19,6 +19,7 @@ package manager may not do this for you. Run `kpsewhich hevea.sty` to check.
Building
--------
+0. The OCaml distribution must be installed once for the next point.
1. Run `make tools` in the manual to build the tools needed for making the
manual
@@ -29,6 +30,7 @@ NB: If you already set `LD_LIBRARY_PATH` (OS X: `DYLD_LIBRARY_PATH`)
in you environnement don't forget to add
`otherlibs/unix:otherlibs/str` to it in an absolute way.
+NB: If you run `make` before `make tools`, you can end in an unstable state that can be fixed by `make clean`
Outputs
-------