(defpkg "PUBS"
  (append '(defxdoc
; Include :DOC topics that we want to reference without package prefixes.
             publications about-acl2 books parallelism stobj talks)
          (union-eq *acl2-exports*
                    *common-lisp-symbols-from-main-lisp-package*)))
