Welcome to SBCL.
+If you'd like to install or build the system, see the "INSTALL" file.
+
To find out more about who created the system, see the "CREDITS" file.
If you'd like information about the legalities of copying the system,
see the "COPYING" file.
-If you'd like to install or build the system, see the "INSTALL" file.
-
If you'd like more information about using the system, see the man
-page, "sbcl.1", or the user manual in the "doc/" subdirectory of the
-distribution. (The user manual is maintained as Texinfo in the source
-distribution; HTML version is available for download.)
+page, "sbcl.1", or the user manual in the "doc/manual" subdirectory of
+the distribution. (The user manual is maintained as Texinfo in the
+source distribution; HTML version is available for download, and
+"INSTALL" describes how to build the Texinfo version in HTML and PDF.)
The system is a work in progress. See the "TODO" file in the source
distribution for some highlights.