Quoting :doc note-6-4:

  (CCL only) A CCL bug was treating filenames of the form "~/user/..."
  as "~/...". Thanks to Gary Byers for sending us a CCL-specific form
  that is now included in the ACL2 sources, which avoids this
  problem.

Incorporated into doc.lisp these additional changes to
system/doc/acl2-doc.lisp:

  Improved :doc clause-processor based on feedback from J Moore.

  Improved :doc defabsstobj based on feedback from Cuong Kim Chau.

  Improved :doc force based on feedback from David Rager.

  Added <h3> tags to :doc note-6-4.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1166 5d84a466-a78b-0930-a311-59b22171a541
Improved documentation for the manual installer.

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