diff options
| author | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-11-29 08:41:31 +0100 |
|---|---|---|
| committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2015-11-29 08:41:31 +0100 |
| commit | 57ab1f1055cc9cc0bcbdf65b6b9130a710b4f046 (patch) | |
| tree | 2123f6eb472f17051abbd18360b71400f7b4c3ff | |
| parent | 7fd21a46f4dcfd6c15afec7100f0f85148f76446 (diff) | |
| download | ocaml-57ab1f1055cc9cc0bcbdf65b6b9130a710b4f046.tar.gz | |
manual build: have 'make all' run 'make tools' first
| -rw-r--r-- | manual/Makefile | 3 | ||||
| -rw-r--r-- | manual/README.md | 8 |
2 files changed, 4 insertions, 7 deletions
diff --git a/manual/Makefile b/manual/Makefile index e0db5f1990..6ff0ca0f69 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -1,9 +1,10 @@ -all: +all: tools cd manual; ${MAKE} all # cd fpcl; ${MAKE} all clean: cd manual; ${MAKE} clean + cd tools; ${MAKE} clean # cd fpcl; ${MAKE} clean release: diff --git a/manual/README.md b/manual/README.md index 9998d5d5a4..a0f8d6d55f 100644 --- a/manual/README.md +++ b/manual/README.md @@ -19,19 +19,15 @@ 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 +0. Install the OCaml distribution. -2. Run `make` in the manual. +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 `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 ------- |