debug

(defmacro xdoc-autodebug
  nil
  '(local (make-event (b* ((topics (get-xdoc-table (w state))) ((unless (consp topics)) (er soft
              'xdoc-autodebug
              "No topics after defxdoc form?"))
          (new-topic (car topics))
          (name (cdr (assoc :name new-topic)))
          (state (princ$ "-------------------------------- xdoc preview ---------------------------------
"
              *standard-co*
              state))
          ((mv ?er ?val state) (colon-xdoc-fn name topics state))
          (state (princ$ "
-------------------------------------------------------------------------------
"
              *standard-co*
              state)))
        (value '(value-triple :invisible))))))