diff options
author | Ben Elliston <bje@gnu.org> | 2018-10-29 16:09:46 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2018-10-29 16:09:46 +1100 |
commit | 5ac7146830fd6cfd443ea47799fe043e82aa83ef (patch) | |
tree | e0804e6c43eb1c4bb2f10e1c41eaa10bbb869a0a | |
parent | a971c21286341488245db39ab180a4e08ff7f9de (diff) | |
download | dejagnu-5ac7146830fd6cfd443ea47799fe043e82aa83ef.tar.gz dejagnu-5ac7146830fd6cfd443ea47799fe043e82aa83ef.tar.bz2 dejagnu-5ac7146830fd6cfd443ea47799fe043e82aa83ef.zip |
* README (Documentation): Update.
-rw-r--r-- | ChangeLog | 4 | ||||
-rw-r--r-- | README | 15 |
2 files changed, 11 insertions, 8 deletions
@@ -1,3 +1,7 @@ +2018-10-29 Ben Elliston <bje@gnu.org> + + * README (Documentation): Update. + 2018-10-28 Jacob Bachmeyer <jcb62281@gmail.com> * lib/framework.exp (record_test): Really fix message formatting. @@ -40,14 +40,13 @@ report. Guidelines for reporting bugs can be found at: Documentation ------------- -The DejaGnu documentation is written in Docbook/XML. 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, RTF, PostScript and PDF versions of the current user -manual are kept on the web at: +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: http://www.gnu.org/software/dejagnu/#documentation -Info documentation is installed on a system as part of the -installation process. You can read this by typing "info dejagnu". +GNU Info documentation is installed as part of the installation +process. You can read this by typing "info dejagnu".
\ No newline at end of file |