More minor doc additions.

4 files changed, 80 insertions, 55 deletions

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 79f89cbf..4dc782e1 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,7 @@
+2013-12-26         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* gawktexi.in: More minor additions / fixes.
+
 2013-12-25         Arnold D. Robbins     <arnold@skeeve.com>
 
 	* gawktexi.in: Minor additions / fixes.
diff --git a/doc/gawk.info b/doc/gawk.info
index 9fa8eae4..358551af 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -25732,6 +25732,11 @@ Various `.c', `.y', and `.h' files
      of the programs in this Info file are available in appropriate
      subdirectories of `awklib/eg'.
 
+`extension/*'
+     The source code, manual pages, and infrastructure files for the
+     sample extensions included with `gawk'.  *Note Dynamic
+     Extensions::, for more information.
+
 `posix/*'
      Files needed for building `gawk' on POSIX-compliant systems.
 
@@ -27054,7 +27059,9 @@ C.3 Probable Future Extensions
 ==============================
 
      AWK is a language similar to PERL, only considerably more elegant.
-     -- Arnold Robbins Hey!  -- Larry Wall
+     -- Arnold Robbins
+
+     Hey!  -- Larry Wall
 
    The `TODO' file in the `gawk' Git repository lists possible future
 enhancements.  Some of these relate to the source code, and others to
@@ -32655,55 +32662,55 @@ Node: Gawk Distribution1024885
 Node: Getting1025369
 Node: Extracting1026195
 Node: Distribution contents1027887
-Node: Unix Installation1033407
-Node: Quick Installation1034024
-Node: Additional Configuration Options1036468
-Node: Configuration Philosophy1038204
-Node: Non-Unix Installation1040558
-Node: PC Installation1041016
-Node: PC Binary Installation1042315
-Node: PC Compiling1044163
-Node: PC Testing1047107
-Node: PC Using1048283
-Node: Cygwin1052468
-Node: MSYS1053468
-Node: VMS Installation1053982
-Node: VMS Compilation1054585
-Ref: VMS Compilation-Footnote-11055592
-Node: VMS Installation Details1055650
-Node: VMS Running1057285
-Node: VMS Old Gawk1058892
-Node: Bugs1059366
-Node: Other Versions1063222
-Node: Notes1069306
-Node: Compatibility Mode1070106
-Node: Additions1070889
-Node: Accessing The Source1071816
-Node: Adding Code1073256
-Node: New Ports1079301
-Node: Derived Files1083436
-Ref: Derived Files-Footnote-11088757
-Ref: Derived Files-Footnote-21088791
-Ref: Derived Files-Footnote-31089391
-Node: Future Extensions1089489
-Node: Implementation Limitations1090066
-Node: Extension Design1091318
-Node: Old Extension Problems1092472
-Ref: Old Extension Problems-Footnote-11093980
-Node: Extension New Mechanism Goals1094037
-Ref: Extension New Mechanism Goals-Footnote-11097402
-Node: Extension Other Design Decisions1097588
-Node: Extension Future Growth1099694
-Node: Old Extension Mechanism1100530
-Node: Basic Concepts1102270
-Node: Basic High Level1102951
-Ref: figure-general-flow1103222
-Ref: figure-process-flow1103821
-Ref: Basic High Level-Footnote-11107050
-Node: Basic Data Typing1107235
-Node: Glossary1110590
-Node: Copying1136052
-Node: GNU Free Documentation License1173609
-Node: Index1198746
+Node: Unix Installation1033592
+Node: Quick Installation1034209
+Node: Additional Configuration Options1036653
+Node: Configuration Philosophy1038389
+Node: Non-Unix Installation1040743
+Node: PC Installation1041201
+Node: PC Binary Installation1042500
+Node: PC Compiling1044348
+Node: PC Testing1047292
+Node: PC Using1048468
+Node: Cygwin1052653
+Node: MSYS1053653
+Node: VMS Installation1054167
+Node: VMS Compilation1054770
+Ref: VMS Compilation-Footnote-11055777
+Node: VMS Installation Details1055835
+Node: VMS Running1057470
+Node: VMS Old Gawk1059077
+Node: Bugs1059551
+Node: Other Versions1063407
+Node: Notes1069491
+Node: Compatibility Mode1070291
+Node: Additions1071074
+Node: Accessing The Source1072001
+Node: Adding Code1073441
+Node: New Ports1079486
+Node: Derived Files1083621
+Ref: Derived Files-Footnote-11088942
+Ref: Derived Files-Footnote-21088976
+Ref: Derived Files-Footnote-31089576
+Node: Future Extensions1089674
+Node: Implementation Limitations1090257
+Node: Extension Design1091509
+Node: Old Extension Problems1092663
+Ref: Old Extension Problems-Footnote-11094171
+Node: Extension New Mechanism Goals1094228
+Ref: Extension New Mechanism Goals-Footnote-11097593
+Node: Extension Other Design Decisions1097779
+Node: Extension Future Growth1099885
+Node: Old Extension Mechanism1100721
+Node: Basic Concepts1102461
+Node: Basic High Level1103142
+Ref: figure-general-flow1103413
+Ref: figure-process-flow1104012
+Ref: Basic High Level-Footnote-11107241
+Node: Basic Data Typing1107426
+Node: Glossary1110781
+Node: Copying1136243
+Node: GNU Free Documentation License1173800
+Node: Index1198937
 
 End Tag Table
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 8cd2a47b..47ea0acc 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -26,7 +26,7 @@
 @c applies to and all the info about who's publishing this edition
 
 @c These apply across the board.
-@set UPDATE-MONTH May, 2013
+@set UPDATE-MONTH December, 2013
 @set VERSION 4.1
 @set PATCHLEVEL 0
 
@@ -33623,7 +33623,7 @@ character ranges (such as @samp{[a-z]}) to match any character between
 the first character in the range and the last character in the range,
 inclusive.  Ordering was based on the numeric value of each character
 in the machine's native character set.  Thus, on ASCII-based systems,
-@code{[a-z]} matched all the lowercase letters, and only the lowercase
+@samp{[a-z]} matched all the lowercase letters, and only the lowercase
 letters, since the numeric values for the letters from @samp{a} through
 @samp{z} were contiguous.  (On an EBCDIC system, the range @samp{[a-z]}
 includes additional, non-alphabetic characters as well.)
@@ -34237,6 +34237,11 @@ They are installed as part of the installation process.
 The rest of the programs in this @value{DOCUMENT} are available in appropriate
 subdirectories of @file{awklib/eg}.
 
+@item extension/*
+The source code, manual pages, and infrastructure files for
+the sample extensions included with @command{gawk}.
+@xref{Dynamic Extensions}, for more information.
+
 @item posix/*
 Files needed for building @command{gawk} on POSIX-compliant systems.
 
@@ -35942,7 +35947,9 @@ Larry
 @quotation
 @i{AWK is a language similar to PERL, only considerably more elegant.}
 @author Arnold Robbins
+@end quotation
 
+@quotation
 @i{Hey!}
 @author Larry Wall
 @end quotation
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index ba37ca57..a82a1b37 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -21,7 +21,7 @@
 @c applies to and all the info about who's publishing this edition
 
 @c These apply across the board.
-@set UPDATE-MONTH May, 2013
+@set UPDATE-MONTH December, 2013
 @set VERSION 4.1
 @set PATCHLEVEL 0
 
@@ -32772,7 +32772,7 @@ character ranges (such as @samp{[a-z]}) to match any character between
 the first character in the range and the last character in the range,
 inclusive.  Ordering was based on the numeric value of each character
 in the machine's native character set.  Thus, on ASCII-based systems,
-@code{[a-z]} matched all the lowercase letters, and only the lowercase
+@samp{[a-z]} matched all the lowercase letters, and only the lowercase
 letters, since the numeric values for the letters from @samp{a} through
 @samp{z} were contiguous.  (On an EBCDIC system, the range @samp{[a-z]}
 includes additional, non-alphabetic characters as well.)
@@ -33386,6 +33386,11 @@ They are installed as part of the installation process.
 The rest of the programs in this @value{DOCUMENT} are available in appropriate
 subdirectories of @file{awklib/eg}.
 
+@item extension/*
+The source code, manual pages, and infrastructure files for
+the sample extensions included with @command{gawk}.
+@xref{Dynamic Extensions}, for more information.
+
 @item posix/*
 Files needed for building @command{gawk} on POSIX-compliant systems.
 
@@ -35091,7 +35096,9 @@ Larry
 @quotation
 @i{AWK is a language similar to PERL, only considerably more elegant.}
 @author Arnold Robbins
+@end quotation
 
+@quotation
 @i{Hey!}
 @author Larry Wall
 @end quotation