diff options
Diffstat (limited to 'doc/ChangeLog')
| -rw-r--r-- | doc/ChangeLog | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index a85e84b3..221bf40b 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,11 @@ +2016-02-05 Arnold D. Robbins <arnold@skeeve.com> + + * gawk.texi: Document that optimization in now the default, + there are new -s/--no-optimize options and that + pretty-printing and profiling disable optimization. + * gawk.1: Ditto. + * awkcard.in: Ditto. + 2016-02-03 Andrew J. Schorr <aschorr@telemetry-investments.com> * gawktexi.in (Command-Line Options): Change wording of -M description @@ -32,7 +40,7 @@ Unrelated: - * gawk.1: Restore test on PROCINFO["RETRY"] and fix up the + * gawk.1: Restore text on PROCINFO["RETRY"] and fix up the formatting while we're at it. Thanks to Andrew Schorr for pointing out the problem. |