Quoting :doc note-6-5:

  (SBCL only) Fixed the executable script generated for SBCL so that
  SBCL_HOME is set to the SBCL obj/sbcl-home/ directory if it exists,
  since that fix seems needed for some recent versions of SBCL
  (1.1.14 in particular).


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1220 5d84a466-a78b-0930-a311-59b22171a541
Made creation of doc/acl2-code-size.txt a little more robust.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1222 5d84a466-a78b-0930-a311-59b22171a541
Updates for new handling of nonstd/ books

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1223 5d84a466-a78b-0930-a311-59b22171a541