This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "DejaGNU".
The branch, master has been updated
via eae3e56b4bef67aa967f1d2d81acef50074f2404 (commit)
via d66480a1fb60281e8d7deb4af6425fedae724e2e (commit)
from b1960cf31bf09729ab9145ba44ab8aa288854aa1 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit eae3e56b4bef67aa967f1d2d81acef50074f2404
Author: Ben Elliston <b...@gnu.org>
Date: Mon Jul 6 21:29:22 2009 +1000
* 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.
commit d66480a1fb60281e8d7deb4af6425fedae724e2e
Author: Ben Elliston <b...@gnu.org>
Date: Mon Jul 6 21:19:54 2009 +1000
* configure.ac: Check for docbook2x-texi.
* configure: Regenerate.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 12 ++++++++++++
configure | 49 +++++++++++++++++++++++++++++--------------------
configure.ac | 2 +-
doc/dejagnu.texi | 42 +++++++++++++++++++++---------------------
doc/dejagnu.xml | 2 +-
doc/ref.xml | 6 +++---
doc/user.xml | 34 +++++++++++++++++-----------------
7 files changed, 84 insertions(+), 63 deletions(-)
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
http://lists.gnu.org/mailman/listinfo/dejagnu-commit
