diff options
author | Ben Elliston <bje@gnu.org> | 2018-10-29 22:28:42 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-10-29 22:28:42 +1100 |
commit | a2334af5d46db62d33dd3d258f48d49823663caf (patch) | |
tree | 136c0e750ffff1ddbead9d3b885d47dd00d57759 /README | |
parent | 5ac7146830fd6cfd443ea47799fe043e82aa83ef (diff) | |
download | dejagnu-a2334af5d46db62d33dd3d258f48d49823663caf.zip dejagnu-a2334af5d46db62d33dd3d258f48d49823663caf.tar.gz dejagnu-a2334af5d46db62d33dd3d258f48d49823663caf.tar.bz2 |
* README (Documentation): Update.
Diffstat (limited to 'README')
-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 |