Tweaked key bindings for ACL2-Doc browser.  (Corresponding check-in
was just made into acl2-books for books/system/doc/acl2-doc.lisp.)

Improved documentation-related targets in GNUmakefile to avoid
doing some unnecessary certifications.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1141 5d84a466-a78b-0930-a311-59b22171a541
Updated help to show example for building acl2-only manual.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1142 5d84a466-a78b-0930-a311-59b22171a541
[Reflecting commit just made to books/system/doc/acl2-doc.lisp:] Made small improvements to :doc acl2-doc (thanks to J for asking about the effects of enclosing square brackets).

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