[acl2/acl2] db1d5d: [build] Add some documentation.

[Eric W. Smith]

Branch: refs/heads/jenkins-makeacl2opts
Home: https://github.com/acl2/acl2
Commit: db1d5d66264ad0cab20610f1c9cfb55d8099cf99
https://github.com/acl2/acl2/commit/db1d5d66264ad0cab20610f1c9cfb55d8099cf99
Author: Eric Smith <ews...@gmail.com>
Date: 2026-01-08 (Thu, 08 Jan 2026)

Changed paths:
M books/build/jenkins/build-multi.sh
M books/build/jenkins/build-single.sh

Log Message:
-----------
[build] Add some documentation.

This was suggested by a comment in Matt Kaufmann's review of the PR.



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