A couple more fixes for the build/ directory, and add optional books/Makefile targets for Milawa

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2197 303c5b2c-9740-0410-b014-fd8f9db7be32

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.  Thanks to Jared Davis for all his help.
(I'll make a related commit to acl2-devel momentarily.)


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2198 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixed a bit of documentation.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2199 303c5b2c-9740-0410-b014-fd8f9db7be32