anchor.diff:          make bootstrap > log.bootstrap 2>&1     # in sh
           make bootstrap >& log.bootstrap         # in csh
   +
  -The "make bootstrap" checks that the bytecode programs compiled with
  -the new compiler are identical to the bytecode programs compiled with
  -the old compiler. If this is the case, you can be pretty sure the
  -system has been correctly compiled. Otherwise, this does not
  -necessarily mean something went wrong. The best thing to do is to try
  -a second bootstrapping phase: just do "make bootstrap" again.  It will
  -either crash almost immediately, or re-re-compile everything correctly
  -and reach the fixpoint.
  -
  -4. If your platform is supported by the native-code compiler (as
  -reported during the autoconfiguration), you can now build the
  -native-code compiler. From the top directory, do:
  +The `make bootstrap` checks that the bytecode programs compiled with the new
  +compiler are identical to the bytecode programs compiled with the old compiler.
  +If this is the case, you can be pretty sure the system has been correctly
  +compiled. Otherwise, this does not necessarily mean something went wrong.  The
  +best thing to do is to try a second bootstrapping phase: just do
  +`make bootstrap` again.  It will either crash almost immediately, or
  +re-re-compile everything correctly and reach the fix-point.
  +
  +4. If your platform is supported by the native-code compiler (as reported during
  +   the auto-configuration), you can now build the native-code compiler.  From
  +   the top directory, do:
   
           make opt
   +
  
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
  