diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2019-06-25 14:44:54 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@gmail.com> | 2019-06-25 15:32:32 +0200 |
| commit | ad5333d2b5bb5dc37d166e0583325b16554851c4 (patch) | |
| tree | 8026338072e4ada8f521ebca37d948b80a6064af | |
| parent | a4d818b50052aa46898fa852a1cdbfe1dc5c9923 (diff) | |
| download | ocaml-ad5333d2b5bb5dc37d166e0583325b16554851c4.tar.gz | |
manual: recover compatibility with case-insensitive file systems
| -rw-r--r-- | manual/README.md | 2 | ||||
| -rw-r--r-- | manual/manual/allfiles.etex | 2 | ||||
| -rw-r--r-- | manual/manual/library/Makefile | 2 | ||||
| -rw-r--r-- | manual/manual/library/stdlib-blurb.etex (renamed from manual/manual/library/stdlib.etex) | 0 | ||||
| -rw-r--r-- | manual/tests/README.md | 3 | ||||
| -rwxr-xr-x | manual/tests/check-stdlib-modules | 4 |
6 files changed, 7 insertions, 6 deletions
diff --git a/manual/README.md b/manual/README.md index d3f9fcd16b..d57327f5d2 100644 --- a/manual/README.md +++ b/manual/README.md @@ -98,7 +98,7 @@ of `unified-options.etex` contains the relevant information. This parts contains an brief presentation of all libraries bundled with the compilers and the api documentation generated for these libraries. - The core library: `core.etex` - - The standard library: `stdlib.etex` + - The standard library: `stdlib-blurb.etex` - The compiler front-end: `compilerlibs.etex` - The unix library: Unix system calls: `libunix.etex` - The legacy num library: this library has been removed from the core diff --git a/manual/manual/allfiles.etex b/manual/manual/allfiles.etex index d2b3b81e2f..4ad1fb4a0a 100644 --- a/manual/manual/allfiles.etex +++ b/manual/manual/allfiles.etex @@ -79,7 +79,7 @@ and as a \part{The OCaml library} \label{p:library} \input{core.tex} -\input{stdlib.tex} +\input{stdlib-blurb.tex} \input{compilerlibs.tex} \input{libunix.tex} \input{libnum.tex} diff --git a/manual/manual/library/Makefile b/manual/manual/library/Makefile index 453607eb24..6862df6b7e 100644 --- a/manual/manual/library/Makefile +++ b/manual/manual/library/Makefile @@ -36,7 +36,7 @@ OTHERLIB_INTF = Unix.tex UnixLabels.tex Str.tex \ INTF = $(CORE_INTF) $(STDLIB_INTF) $(COMPILER_LIBS_INTF) $(OTHERLIB_INTF) -BLURB = core.tex builtin.tex stdlib.tex compilerlibs.tex \ +BLURB = core.tex builtin.tex stdlib-blurb.tex compilerlibs.tex \ libunix.tex libstr.tex libnum.tex libgraph.tex \ libthreads.tex libdynlink.tex libbigarray.tex diff --git a/manual/manual/library/stdlib.etex b/manual/manual/library/stdlib-blurb.etex index 7c5c41d269..7c5c41d269 100644 --- a/manual/manual/library/stdlib.etex +++ b/manual/manual/library/stdlib-blurb.etex diff --git a/manual/tests/README.md b/manual/tests/README.md index 31d2ab40fd..2f580d4753 100644 --- a/manual/tests/README.md +++ b/manual/tests/README.md @@ -5,4 +5,5 @@ the rest of the compiler sources: compiler sources are still accurate. - `check-stdlib-modules` checks that all stdlib modules are linked from the - main entry of the stdlib in the manual: `manual/manual/library/stdlib.etex` + main entry of the stdlib in the manual: + `manual/manual/library/stdlib-blurb.etex` diff --git a/manual/tests/check-stdlib-modules b/manual/tests/check-stdlib-modules index 6e98352366..ee8cc3ddfb 100755 --- a/manual/tests/check-stdlib-modules +++ b/manual/tests/check-stdlib-modules @@ -12,8 +12,8 @@ for i in `cat $TMPDIR/stdlib-$$-modules`; do case $i in Stdlib | Camlinternal* | *Labels | Obj | Pervasives) continue;; esac - grep -q -e '"'$i'" & p\.~\\pageref{'$i'} &' $1/manual/manual/library/stdlib.etex || { - echo "Module $i is missing from stdlib.etex." >&2 + grep -q -e '"'$i'" & p\.~\\pageref{'$i'} &' $1/manual/manual/library/stdlib-blurb.etex || { + echo "Module $i is missing from stdlib-blurb.etex." >&2 exitcode=2 } done |