* doc/user.xml: Fix spacing before productname.
authorBernhard Reutner-Fischer <aldot@gcc.gnu.org>
Sat, 15 Jun 2013 11:25:01 +0000 (21:25 +1000)
committerBen Elliston <bje@gnu.org>
Sat, 15 Jun 2013 11:25:01 +0000 (21:25 +1000)
commita340a5b44eb49b412f0f5e235c1769e77605a7b2
tree13b1e9f212feba7f66c03b88050b7d535620fe36
parentfdf0a41ee03d8deb725407cacff3ae78c04d0558
* doc/user.xml: Fix spacing before productname.
* doc/dejagnu.texi: Regenerate.

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