To access the ACL2 system documentation, open home-page.html in a
browser.  See also the DOCUMENTATION section of installation.html for
an explanation of how to access the ACL2 User's Manual.
