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 /MAINTAINERS | |
| 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 'MAINTAINERS')
0 files changed, 0 insertions, 0 deletions