manual: recover compatibility with case-insensitive file systems

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

manual/manual/allfiles.etex

@@ -78,7 +78,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}

manual/manual/library/Makefile

@@ -35,7 +35,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
 

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`

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