Rebuilt doc.lisp based on this fix documented in :xdoc NOTE-6-5-BOOKS:

  A bug has been fixed in [xdoc] preprocessor directive @(def ...),
  which sometimes printed the wrong event. The bug can be seen in the
  expansion of @(def alist) in previous releases of the manual. The
  bug was in community book xdoc/preprocess.lisp, in the definition
  of function xdoc::get-event*.


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