diff options
| -rw-r--r-- | doc/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/gawk.texi | 2 | ||||
| -rw-r--r-- | doc/gawktexi.in | 2 |
3 files changed, 6 insertions, 2 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 3056c9c6..887a0d48 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,7 @@ +2017-10-04 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Update the update month to October. + 2017-10-02 Antonio Giovanni Colombo <azc100@gmail.com> * gawktexi.in: Two typo fixes. diff --git a/doc/gawk.texi b/doc/gawk.texi index 4b62cc81..50d58099 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -64,7 +64,7 @@ @c applies to and all the info about who's publishing this edition @c These apply across the board. -@set UPDATE-MONTH September, 2017 +@set UPDATE-MONTH October, 2017 @set VERSION 4.2 @set PATCHLEVEL 0 diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 7165bf90..986e8957 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -59,7 +59,7 @@ @c applies to and all the info about who's publishing this edition @c These apply across the board. -@set UPDATE-MONTH September, 2017 +@set UPDATE-MONTH October, 2017 @set VERSION 4.2 @set PATCHLEVEL 0 |