[acl2/acl2] 8ee0e9: [xdoc] Disallow non-existenent xdoc parents.

[Eric W. Smith]

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

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

Log Message:
-----------
[xdoc] Disallow non-existenent xdoc parents.

Cause the manual build to fail if a topic declares a parent that does not exist.



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