Diff of /README [56d318] .. [b28d92] Maximize Restore

  Switch to side-by-side view

--- a/README
+++ b/README
@@ -1,18 +1,19 @@
 GENERAL INFORMATION
 
 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.