diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ChangeLog | 5 | ||||
| -rw-r--r-- | doc/gawk.texi | 13 | ||||
| -rw-r--r-- | doc/gawktexi.in | 13 |
3 files changed, 31 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 662b5b37..7d9266eb 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,8 @@ +2015-05-18 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Add a pithy quote from Chet Ramey. Currently + commented out. + 2015-05-16 Arnold D. Robbins <arnold@skeeve.com> * gawktexi.in: Fix description of nextfile within a function. Sigh. diff --git a/doc/gawk.texi b/doc/gawk.texi index 55a8fc0e..f70312d4 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -38655,6 +38655,19 @@ here are the only officially recognized way for reporting bugs. Really. @end quotation +@ignore +Date: Sun, 17 May 2015 19:50:14 -0400 +From: Chet Ramey <chet.ramey@case.edu> +Reply-To: chet.ramey@case.edu +Organization: ITS, Case Western Reserve University +To: Aharon Robbins <arnold@skeeve.com> +CC: chet.ramey@case.edu + +.... +I gave up on usenet a couple of years ago and haven't really looked back. +It's like sports talk radio -- you feel smarter for not having read it. +@end ignore + @quotation NOTE Many distributions of GNU/Linux and the various BSD-based operating systems have their own bug reporting systems. If you report a bug using your distribution's diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 903152d9..76cb8992 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -37746,6 +37746,19 @@ here are the only officially recognized way for reporting bugs. Really. @end quotation +@ignore +Date: Sun, 17 May 2015 19:50:14 -0400 +From: Chet Ramey <chet.ramey@case.edu> +Reply-To: chet.ramey@case.edu +Organization: ITS, Case Western Reserve University +To: Aharon Robbins <arnold@skeeve.com> +CC: chet.ramey@case.edu + +.... +I gave up on usenet a couple of years ago and haven't really looked back. +It's like sports talk radio -- you feel smarter for not having read it. +@end ignore + @quotation NOTE Many distributions of GNU/Linux and the various BSD-based operating systems have their own bug reporting systems. If you report a bug using your distribution's |