diff options
-rw-r--r-- | doc/ChangeLog | 1 | ||||
-rw-r--r-- | doc/gawk.texi | 2 | ||||
-rw-r--r-- | doc/gawktexi.in | 2 |
3 files changed, 3 insertions, 2 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 591cbd64..80898a6e 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -3,6 +3,7 @@ * gawktexi.in (Plain Getline): Improve the program and show sample input and output. Thanks to Mark Krauze <daburashka@ya.ru> for some of the changes. + Unrelated: Set the update month. 2019-06-11 Arnold D. Robbins <arnold@skeeve.com> diff --git a/doc/gawk.texi b/doc/gawk.texi index fb982a09..d3f7d8dd 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -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 May, 2019 +@set UPDATE-MONTH June, 2019 @set VERSION 5.0 @set PATCHLEVEL 1 diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 47ba071c..398e35da 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -54,7 +54,7 @@ @c applies to and all the info about who's publishing this edition @c These apply across the board. -@set UPDATE-MONTH May, 2019 +@set UPDATE-MONTH June, 2019 @set VERSION 5.0 @set PATCHLEVEL 1 |