aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/ChangeLog5
-rw-r--r--doc/gawk.texi13
-rw-r--r--doc/gawktexi.in13
3 files changed, 31 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog
index ab9dc42e..984a9d7e 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 64937932..ac0e6175 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -38157,6 +38157,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 90133dee..36f9bcec 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -37248,6 +37248,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