Updated doc.lisp to match books/system/doc/acl2-doc.lisp