* doc/user.xml: Fix typos.
authorBernhard Reutner-Fischer <aldot@gcc.gnu.org>
Sat, 15 Jun 2013 11:31:00 +0000 (21:31 +1000)
committerBen Elliston <bje@gnu.org>
Sat, 15 Jun 2013 11:31:00 +0000 (21:31 +1000)
commit3e48e41582a059339540d962e77a5eb3cc48b265
tree4f75f65a431e959adbfb2630c2aa73e9186a31e9
parentfcb5cf517ff6723399d9ec00503190ae25bdc617
* doc/user.xml: Fix typos.
* doc/ref.xml: Likewise.
* doc/dejagnu.texi: Regenerate.

Signed-off-by: Ben Elliston <bje@gnu.org>
ChangeLog
doc/dejagnu.texi
doc/ref.xml
doc/user.xml