* doc/dejagnu.xml: Fix broken URLs.
authorBen Elliston <bje@gnu.org>
Sat, 23 May 2015 11:18:11 +0000 (21:18 +1000)
committerBen Elliston <bje@gnu.org>
Sat, 23 May 2015 11:18:11 +0000 (21:18 +1000)
commitdfeb344621c7a607be33409acf3702961dee4866
tree0ee2562b53fbdf8a1d0bc3c80efe5f0d5ed5b56e
parentbfc17bec68bc0d72f2b8451fa38b2fa74d839f00
* doc/dejagnu.xml: Fix broken URLs.
* doc/dejagnu.texi: Regenerate.
ChangeLog
doc/dejagnu.texi
doc/dejagnu.xml