[acl2/acl2] c9b599: Updated *acl2-broken-links-alist* in books/system/...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: c9b599761b0d01c1a09b410b2811a601ef8ba66a
https://github.com/acl2/acl2/commit/c9b599761b0d01c1a09b410b2811a601ef8ba66a
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-03-01 (Sun, 01 Mar 2026)

Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html

Log Message:
-----------
Updated *acl2-broken-links-alist* in books/system/doc/acl2-doc.lisp.



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

[MattKaufmann]

Branch: refs/heads/testing