diff options
Diffstat (limited to 'doc/ChangeLog')
| -rw-r--r-- | doc/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 5e7d4808..3835de90 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,8 @@ +2014-06-24 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Document that --pretty-print no longer runs the + program. Remove mention of GAWK_NO_PP_RUN env var. + 2014-06-22 Arnold D. Robbins <arnold@skeeve.com> * gawktexi.in: Typo fixes and minor corrections. |