* README (Documentation): Update.

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