diff options
Diffstat (limited to 'doc/ChangeLog')
| -rw-r--r-- | doc/ChangeLog | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 87ca389f..26d310d7 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -8,6 +8,11 @@ 2018-11-25 Arnold D. Robbins <arnold@skeeve.com> + * gawktexi.in: Document PROCINFO["platform"]. + * gawk.1: Ditto. + +2018-11-25 Arnold D. Robbins <arnold@skeeve.com> + * gawktexi.in: Small typo fix. 2018-11-24 Arnold D. Robbins <arnold@skeeve.com> @@ -346,7 +351,12 @@ function to be syntactically and semantically correct. Thanks to Jaromir Obr <jaromir.obr@gmail.com> for the report. (POSIX String Comparison): Add some URL references in @ignore. - + + Unrelated: + + * gawktexi.in: Remove description of --with-whiny-user-strftime + configuration option. + 2017-10-08 Andrew J. Schorr <aschorr@telemetry-investments.com> * gawktexi.in: Fix discussion of AWKPATH in section on @include. |