From a2334af5d46db62d33dd3d258f48d49823663caf Mon Sep 17 00:00:00 2001 From: Ben Elliston Date: Mon, 29 Oct 2018 22:28:42 +1100 Subject: [PATCH] * README (Documentation): Update. --- README | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/README b/README index 5417f2a..d2aa6d8 100644 --- 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 -- 2.7.4