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 /README | |
| parent | a971c21286341488245db39ab180a4e08ff7f9de (diff) | |
| download | dejagnu-5ac7146830fd6cfd443ea47799fe043e82aa83ef.zip dejagnu-5ac7146830fd6cfd443ea47799fe043e82aa83ef.tar.gz dejagnu-5ac7146830fd6cfd443ea47799fe043e82aa83ef.tar.bz2 | |
* README (Documentation): Update.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 15 |
1 files changed, 7 insertions, 8 deletions
@@ -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 |