Update to allow "make DOC ACL2=<your_acl2>" to work with the new books/build/ directory.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1138 5d84a466-a78b-0930-a311-59b22171a541
Added script, essentially from Jared, for copying aclw+books manual to the web for faster loading.

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

Made numerous improvements pertaining to documentation, in particular,
adding support for the ACL2-Doc tool, for use with Emacs to serve as a
replacement for using Emacs Info to browse the ACL2 system
documentation.  There's also a new script for creating a copy of the
acl2+books manual for distribution on the web.  Thanks to Jared Davis
for all his help.  (I've just made a related commit to acl2-books.)


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