-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.)