xdoc-archiving

(defun get-xdoc-resource-dirs
  (wrld)
  (declare (xargs :guard (plist-worldp wrld)))
  (let ((alist (table-alist 'xdoc wrld)))
    (if (not (alistp alist))
      (er hard?
        'get-xdoc-resource-dirs
        "Bad alist.")
      (cdr (assoc-eq 'resource-dirs alist)))))

(defun count-documented-topics
  (wrld)
  (declare (xargs :guard (plist-worldp wrld)))
  (let ((alist (table-alist 'xdoc wrld)))
    (if (not (alistp alist))
      (er hard?
        'get-xdoc-resource-dirs
        "Bad alist.")
      (len (cdr (assoc-eq 'doc alist))))))

(defun archive-current-resource-dirs-fn
  (wrld)
  (declare (xargs :guard (plist-worldp wrld)))
  (let ((current-xdoc-resource-dirs (get-xdoc-resource-dirs wrld)))
    `(table xdoc
      'resource-dirs
      (union-equal ',XDOC::CURRENT-XDOC-RESOURCE-DIRS
        (get-xdoc-resource-dirs world)))))

(defun archive-topics-for-books-tree-fn
  (tree-path include-defxdoc-raw-topicsp)
  (declare (xargs :guard (and (stringp tree-path)
        (booleanp include-defxdoc-raw-topicsp))))
  (let ((path-prefix (concatenate 'string tree-path "/")))
    `(archive-matching-topics (let ((from (cdr (assoc-eq :from x))))
        ,(IF XDOC::INCLUDE-DEFXDOC-RAW-TOPICSP
     `(OR (STR::STRPREFIXP "[defxdoc-raw]" XDOC::FROM)
          (STR::STRPREFIXP ,XDOC::PATH-PREFIX XDOC::FROM))
     `(STR::STRPREFIXP ,XDOC::PATH-PREFIX XDOC::FROM))))))