diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | doc/.gitignore | 1 | ||||
| -rw-r--r-- | doc/version.texi | 4 |
3 files changed, 8 insertions, 1 deletions
@@ -1,5 +1,9 @@ 2018-12-02 Ben Elliston <bje@gnu.org> + * doc/version.texi: New. + +2018-12-02 Ben Elliston <bje@gnu.org> + * doc/dejagnu.texi: Add title page and frontmatter. Include version.texi. * Makefile.in: Regenerate. diff --git a/doc/.gitignore b/doc/.gitignore index 38f3d6a..185b0d6 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1,3 +1,2 @@ dejagnu.info stamp-vti -version.texi diff --git a/doc/version.texi b/doc/version.texi new file mode 100644 index 0000000..73ae5f2 --- /dev/null +++ b/doc/version.texi @@ -0,0 +1,4 @@ +@set UPDATED 2 December 2018 +@set UPDATED-MONTH December 2018 +@set EDITION 1.6.3-git +@set VERSION 1.6.3-git |