diff options
| -rw-r--r-- | README | 7 |
1 files changed, 2 insertions, 5 deletions
@@ -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 |