anchor.diff:          make opt > log.opt 2>&1     # in sh
           make opt >& log.opt         # in csh
   
  -5. anchor:step-5[] Compile fast versions of the OCaml compilers, by
  -compiling them with the native-code compiler (you have only compiled
  -them to bytecode so far).  Just do:
  +5. anchor:step-5[] Compile fast versions of the OCaml compilers, by compiling
  +   them with the native-code compiler (you will have only compiled them to
  +   bytecode in steps 2-4).  Just do:
   
           make opt.opt
   +
  -Later, you can compile your programs to bytecode using ocamlc.opt
  -instead of ocamlc, and to native-code using ocamlopt.opt instead of
  -ocamlopt.  The ".opt" compilers should run faster than the normal
  -compilers, especially on large input files, but they may take longer
  -to start due to increased code size.  If compilation times are an issue on
  -your programs, try the ".opt" compilers to see if they make a
  -significant difference.
  +Later, you can compile your programs to bytecode using ocamlc.opt instead of
  +ocamlc, and to native-code using ocamlopt.opt instead of ocamlopt.  The ".opt"
  +compilers should run faster than the normal compilers, especially on large input
  +files, but they may take longer to start due to increased code size.  If
  +compilation times are an issue on your programs, try the ".opt" compilers to see
  +if they make a significant difference.
   +
   An alternative, and faster approach to steps 2 to 5 is
   
           make world.opt          # to build using native-code compilers
   +
  -The result is equivalent to "make world opt opt.opt", but this may
  -fail if anything goes wrong in native-code generation.
  -
  -6. You can now install the OCaml system. This will create the
  -following commands (in the binary directory selected during
  -autoconfiguration):
  -
  -        ocamlc           the batch bytecode compiler
  -        ocamlopt         the batch native-code compiler (if supported)
  -        ocamlrun         the runtime system for the bytecode compiler
  -        ocamlyacc        the parser generator
  -        ocamllex         the lexer generator
  -        ocaml            the interactive, toplevel-based system
  -        ocamlmktop       a tool to make toplevel systems that integrate
  -                         user-defined C primitives and OCaml code
  -        ocamldebug       the source-level replay debugger
  -        ocamldep         generator of "make" dependencies for OCaml sources
  -        ocamldoc         documentation generator
  -        ocamlprof        execution count profiler
  -        ocamlcp          the bytecode compiler in profiling mode
  -+
  -and also, if you built them during <<step-5,step 5>>,
  -
  -        ocamlc.opt       the batch bytecode compiler compiled with ocamlopt
  -        ocamlopt.opt     the batch native-code compiler compiled with ocamlopt
  -        ocamllex.opt     the lexer generator compiled with ocamlopt
  +The result is equivalent to `make world opt opt.opt`, but this may fail if
  +anything goes wrong in native-code generation.
  +
  +6. You can now install the OCaml system. This will create the following commands
  +   (in the binary directory selected during autoconfiguration):
  ++
  +[width="70%",frame="topbot",cols="25%,75%"]
  +|===============================================================================
  +| `ocamlc`     | the batch bytecode compiler
  +| `ocamlopt`   | the batch native-code compiler (if supported)
  +| `ocamlrun`   | the runtime system for the bytecode compiler
  +| `ocamlyacc`  | the parser generator
  +| `ocamllex`   | the lexer generator
  +| `ocaml`      | the interactive, toplevel-based system
  +| `ocamlmktop` | a tool to make toplevel systems that integrate user-defined C
  +                 primitives and OCaml code
  +| `ocamldebug` | the source-level replay debugger
  +| `ocamldep`   | generator of "make" dependencies for OCaml sources
  +| `ocamldoc`   | the documentation generator
  +| `ocamlprof`  | the execution count profiler
  +| `ocamlcp`    | the bytecode compiler in profiling mode
  +|===============================================================================
  ++
  +and also, if you built them during <<step-5,step 5>>: `ocamlc.opt`,
  +`ocamlopt.opt`, `ocamllex.opt`, `ocamldep.opt` and `ocamldoc.opt`
   +
   From the top directory, become superuser and do:
   
           umask 022       # make sure to give read & execute permission to all
           make install
   
  -7. Installation is complete. Time to clean up. From the toplevel
  -directory, do "make clean".
  -
  -8. (Optional) The emacs/ subdirectory contains Emacs-Lisp files for an
  -OCaml editing mode and an interface for the debugger.  To install
  -these files, change to the emacs/ subdirectory and do
  +7. Installation is complete. Time to clean up. From the toplevel directory,
  +   do:
  +
  +        make clean
  +
  +8. (Optional) The `emacs/` subdirectory contains Emacs-Lisp files for an OCaml
  +   editing mode and an interface for the debugger.  To install these files,
  +   change to the `emacs/` subdirectory and do:
   
           make EMACSDIR=<directory where to install the files> install
   +
  
positive.code: 
          make world
  +
  This builds the OCaml bytecode compiler for the first time.  This
  phase is fairly verbose; consider redirecting the output to a file:
  
          make world > log.world 2>&1     # in sh
          make world >& log.world         # in csh
  
  3. (Optional) To be sure everything works well, you can try to
  bootstrap the system --- that is, to recompile all OCaml sources with
  the newly created compiler. From the top directory, do:
  
          make bootstrap
  +
  
negative.code: 
  == PREREQUISITES
  
  * The GNU C Compiler (gcc) is recommended, as the bytecode interpreter takes
    advantage of GCC-specific features to enhance performance. gcc is the standard
    compiler under Linux, OS X, and many other systems.
  
  * If you do not have write access to `/tmp`, you should set the environment
    variable `TMPDIR` to the name of some other temporary directory.
  
  * Under HP/UX, the GNU C Compiler (gcc), the GNU Assembler (gas), and GNU Make
    are all *required*.  The vendor-provided compiler, assembler and make tools
    have major problems.
  
  == INSTALLATION INSTRUCTIONS
  