Removed legacy :doc strings from ACL2 sources.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1215 5d84a466-a78b-0930-a311-59b22171a541
Improved handling of links followed by punctuation, especially for older Emacs versions (22 in particular).

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1216 5d84a466-a78b-0930-a311-59b22171a541
Misc. small fixes.  Also, did proper removal this time of two empty top-level topics from the ACL2 manual.  (Thanks to Jared for help with this!).

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