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 830ee9b8f76064cdbd6e1c8286fe852f120ec828 (commit)
via 63bacded39355dfb4111a945ee98f205fb46d0e0 (commit)
from e41f111dd10745c8e453bed121f6a78acbe27a2f (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 830ee9b8f76064cdbd6e1c8286fe852f120ec828
Author: Ben Elliston <b...@gnu.org>
Date: Sun Dec 2 16:39:40 2018 +1100
* doc/version.texi: New.
commit 63bacded39355dfb4111a945ee98f205fb46d0e0
Author: Ben Elliston <b...@gnu.org>
Date: Sun Dec 2 16:37:46 2018 +1100
* doc/dejagnu.texi: Add title page and frontmatter. Include
version.texi.
* Makefile.in: Regenerate.
* mdate-sh: Installed by automake --add-missing.
-----------------------------------------------------------------------
Summary of changes:
ChangeLog | 11 +++++++++++
Makefile.in | 55 +++++++++++++++++++++++++++++++++++++++----------------
doc/.gitignore | 1 +
doc/dejagnu.texi | 47 +++++++++++++++++++++++++++++++++++++++--------
doc/version.texi | 4 ++++
mdate-sh | 1 +
6 files changed, 95 insertions(+), 24 deletions(-)
create mode 100644 doc/version.texi
create mode 120000 mdate-sh
hooks/post-receive
--
DejaGNU
_______________________________________________
Dejagnu-commit mailing list
Dejagnu-commit@gnu.org
https://lists.gnu.org/mailman/listinfo/dejagnu-commit
