summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Elliston <bje@gnu.org>2018-10-29 16:09:46 +1100
committerBen Elliston <bje@gnu.org>2018-10-29 16:09:46 +1100
commit5ac7146830fd6cfd443ea47799fe043e82aa83ef (patch)
treee0804e6c43eb1c4bb2f10e1c41eaa10bbb869a0a
parenta971c21286341488245db39ab180a4e08ff7f9de (diff)
downloaddejagnu-5ac7146830fd6cfd443ea47799fe043e82aa83ef.tar.gz
dejagnu-5ac7146830fd6cfd443ea47799fe043e82aa83ef.tar.bz2
dejagnu-5ac7146830fd6cfd443ea47799fe043e82aa83ef.zip
* README (Documentation): Update.
-rw-r--r--ChangeLog4
-rw-r--r--README15
2 files changed, 11 insertions, 8 deletions
diff --git a/ChangeLog b/ChangeLog
index 2c62727..10e94b4 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.
diff --git a/README b/README
index ab0fe72..5417f2a 100644
--- a/README
+++ b/README
@@ -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