Changed pathname to new manual location

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1229 5d84a466-a78b-0930-a311-59b22171a541
Quoting :doc note-6-5:

  We have made several system functions untouchable (see
  [remove-untouchable]), in order to prevent soundness bugs. We thank
  Jared Davis and Sol Swords for sending us an example that used a
  call of one of these functions to prove nil. We have placed that
  example into a comment in Community Books file
  system/doc/acl2-doc.lisp, form ([defxdoc] note-6-5 ...).


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