Installed fix from Rob Sumners for a bug discovered when certifying examples.lisp using GCL or using safety-3 CCL.  Tested fix using safety-3 CCL.

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

Makefile: changed target name "combined-manual" to "manual", to match
the documentation given near the top of Makefile.

system/doc/acl2-doc.lisp: Various further mods made after discussing
with Jared his recent mods.  In particular added defpointer macro as a
sort of rework of legacy ACL2 documenation functions link-doc-to and
link-doc-to-keyword.


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