An event that saves documentation from certain events, filtered by customizable criteria.
This event has a similar purpose to that of archive-xdoc. However, instead of acting on the new xdoc topics that are created by some set of local events, it acts on all existing topics that fit some matching criterion.
Thus the following could be put in a book that, when included, loads all the
(include-book "xdoc/archive-matching-topics" :dir :system) (local (include-book "std/strings/top" :dir :system)) (archive-matching-topics (str::strprefixp "[books]/std/strings/" (cdr (assoc :from x))))
The topics that are archived by this event may be ones that were process assumes that at the point of saving the xdoc, the definitions referenced in these preprocessor forms exist and the @(`...`) forms can be evaluated. If the documentation loaded in the archive-xdoc form references definitions that aren't loaded, then the preprocessing will produce xdoc-errors and leave notes behind in the documentation saying that those definitions couldn't be found.