Quoting :doc note-6-5:

  The "make DOC" command was not completing correctly when variable
  ACL2 was not set. Also, for host Lisp CMUCL at least, it stalled at
  the terminal unless a quit command was issued twice (as ACL2 was
  stuck without exiting). Those problems have been resolved. Thanks
  to Jim Ward for bringing these issues to our attention


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