ACL2-Doc browser (file emacs/acl2-doc.el): Avoid binding of "\C-Xaa"
to control-x-a-a-deprecated if already bound; analogously for
"\C-XaA".

Updated *home-page* constant, GNUmakefile, and all-files.txt, and
reworked doc/ directory, to reflect new xdoc-based documentation
system.  Note: removed support for acl2-code-size, and plan either
to restore it or to update xdoc topic about-acl2.

Note: Before the next release (soon!?) I plan to update as needed in
http://www.cs.utexas.edu/users/moore/publications/, e.g.,
hyper-card.html.  I also plan to create a missing directory that now
has references to it:
http://www.cs.utexas.edu/users/moore/acl2/current/combined-manual/.

Updated doc.lisp according to check-in just made in acl2-books:

  Tweaked :doc acl2-doc: NAME had been the name of valid link but was
  intended to be a broken link, so changed it to SOME-NAME (and made
  it a link even in the web version, not just the ACL2-Doc Browser
  version).
    
  Added links to new location of combined manual.

  Made miscellaneous additional updates to reflect new xdoc-based
  documentation system.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1203 5d84a466-a78b-0930-a311-59b22171a541
Miscellaneous pre-release updates

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1204 5d84a466-a78b-0930-a311-59b22171a541
Make doc/create-doc executable

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1205 5d84a466-a78b-0930-a311-59b22171a541
Make doc/create-doc executable (did it incorrectly at preceding check-in)

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