* README (Documentation): Update.

diff --git a/README b/README
index 5417f2a..d2aa6d8 100644 (file)
--- a/README
+++ b/README
@@ -40,11 +40,8 @@ report.  Guidelines for reporting bugs can be found at:
 Documentation
 -------------
 
-The DejaGnu documentation is written in Texinfo.  The Makefile does
-not render the documentation into other formats by default, as this
-requires a range of Docbook packages to be installed.  The intention
-is that this will be done by the maintainers when a release is made.
-HTML and PDF versions of the current user manual are kept at:
+The DejaGnu documentation is written in Texinfo. HTML and PDF versions
+of the current user manual are kept at:
 
     http://www.gnu.org/software/dejagnu/#documentation