Updated preceding ACL2-Doc fix, which had deleted the documentation source buffer after initialization if it had not already existed, so that it prompts if the file is more recent than an existing such buffer.

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

Improved the ACL2-Doc implementation, in particular to support
automatic downloading of the combined manual in "rendered" format.


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