X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=doc%2FREADME;h=bf901a4af709bdf1507349530a21cce96a87a9a3;hb=3afdf2de234586523ed94941def9f25a8f7f4906;hp=375689d9b4b5ac3462eea41c95cef87b66eb54a8;hpb=8dc064d2296902f01afd9107e89a81146e3771fe;p=sbcl.git

diff --git a/doc/README b/doc/README
index 375689d..bf901a4 100644
--- a/doc/README
+++ b/doc/README
@@ -1,13 +1,11 @@
-SBCL is -- ahem! -- not completely documented at this point. What can
-I say? Help with documentation might not be refused.:-)
+SBCL is -- ahem! -- imperfectly documented. What can we say? Help with
+documentation might not be refused.:-)
 
 There is a Unix man page, sbcl.1.
 
-There is a user manual in DocBook format, in user-manual.sgml. (In
+There is a user manual in texinfo format, in doc/manual/. (In
 binary distributions, the compiled-into-HTML translations are also
-included.) Several free software packages are available to compile
-DocBook into HTML or other formats. The commands to use 'jade' to
-translate the manual into HTML are in make-doc.sh.
+included.) 
 
 Much of the documentation for supported extensions is in their Lisp
 doc strings. For example, to find out how to use the SAVE-LISP-AND-DIE