[SCM] DejaGNU branch, master, updated. dejagnu_1_4_3-566-g830ee9b

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 <[email protected]>
Date:   Sun Dec 2 16:39:40 2018 +1100

    	* doc/version.texi: New.

commit 63bacded39355dfb4111a945ee98f205fb46d0e0
Author: Ben Elliston <[email protected]>
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