[acl2/acl2] 74cf41: [xdoc] Add :error-on-non-existent-parents option.

[Eric W. Smith]

Branch: refs/heads/xdoc-error-for-non-existent-parent
Home: https://github.com/acl2/acl2
Commit: 74cf417937dbefcd5c5f47a0d50472bacde48648
https://github.com/acl2/acl2/commit/74cf417937dbefcd5c5f47a0d50472bacde48648
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-03 (Tue, 03 Mar 2026)

Changed paths:
M books/doc/top.lisp
M books/xdoc/save-fancy.lisp
M books/xdoc/save.lisp
M books/xdoc/topics.lisp

Log Message:
-----------
[xdoc] Add :error-on-non-existent-parents option.

Now one can supply :error-on-non-existent-parents t to xdoc::save to cause an error if a parent topic doesn't exist.

Thanks to Sol Swords for requesting that the new stricter behavior be optional.



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications