diff options
author | Ben Elliston <bje@gnu.org> | 2009-07-06 21:29:22 +1000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2009-07-06 21:29:22 +1000 |
commit | eae3e56b4bef67aa967f1d2d81acef50074f2404 (patch) | |
tree | a89b35bc08bd796a746f1f3ae651763a8421e73f /ChangeLog | |
parent | d66480a1fb60281e8d7deb4af6425fedae724e2e (diff) | |
download | dejagnu-eae3e56b4bef67aa967f1d2d81acef50074f2404.zip dejagnu-eae3e56b4bef67aa967f1d2d81acef50074f2404.tar.gz dejagnu-eae3e56b4bef67aa967f1d2d81acef50074f2404.tar.bz2 |
* doc/dejagnu.xml, doc/ref.xml, doc/user.xml: Mark up options with
<option> not <emphasis>. Apply other grammatical fixes from
Reuben Thomas.
* doc/dejagnu.texi: Regenerate.
Diffstat (limited to 'ChangeLog')
-rw-r--r-- | ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -1,5 +1,12 @@ 2009-07-06 Ben Elliston <bje@gnu.org> + * doc/dejagnu.xml, doc/ref.xml, doc/user.xml: Mark up options with + <option> not <emphasis>. Apply other grammatical fixes from + Reuben Thomas. + * doc/dejagnu.texi: Regenerate. + +2009-07-06 Ben Elliston <bje@gnu.org> + * configure.ac: Check for docbook2x-texi. * configure: Regenerate. |