Add make install to gawkextlib doc.

4 files changed, 92 insertions, 67 deletions

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 9a732435..92a6c76a 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,8 @@
+2013-05-16         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* gawktexi.in (gawkextlib): Add a note to use make install on
+	gawkextlib itself. Thanks to Hermann Peifer.
+
 2013-05-09         Arnold D. Robbins     <arnold@skeeve.com>
 
 	* 4.1.0: Release tar ball made.
diff --git a/doc/gawk.info b/doc/gawk.info
index 94c10b3b..b2b6132a 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -24753,6 +24753,12 @@ follows.  First, build and install `gawk':
                                            You may have to run this command twice
      ./configure --with-gawk=/tmp/newgawk  Configure, point at "installed" gawk
      make && make check                    Build and check that all is OK
+     make install                          Install the extensions
+
+   If you have installed `gawk' in the standard way, then you will
+likely not need the `--with-gawk' option when configuring `gawkextlib'.
+You may also need to use the `sudo' utility to install both `gawk' and
+`gawkextlib', depending upon how your system works.
 
    If you write an extension that you wish to share with other `gawk'
 users, please consider doing so through the `gawkextlib' project.  See
@@ -32497,72 +32503,72 @@ Node: Extension Sample Readfile990564
 Node: Extension Sample API Tests991382
 Node: Extension Sample Time991907
 Node: gawkextlib993271
-Node: Language History995702
-Node: V7/SVR3.1997224
-Node: SVR4999545
-Node: POSIX1000987
-Node: BTL1002373
-Node: POSIX/GNU1003107
-Node: Common Extensions1008642
-Node: Ranges and Locales1009948
-Ref: Ranges and Locales-Footnote-11014566
-Ref: Ranges and Locales-Footnote-21014593
-Ref: Ranges and Locales-Footnote-31014853
-Node: Contributors1015074
-Node: Installation1019953
-Node: Gawk Distribution1020847
-Node: Getting1021331
-Node: Extracting1022157
-Node: Distribution contents1023849
-Node: Unix Installation1029110
-Node: Quick Installation1029727
-Node: Additional Configuration Options1031689
-Node: Configuration Philosophy1033166
-Node: Non-Unix Installation1035508
-Node: PC Installation1035966
-Node: PC Binary Installation1037265
-Node: PC Compiling1039113
-Node: PC Testing1042057
-Node: PC Using1043233
-Node: Cygwin1047418
-Node: MSYS1048418
-Node: VMS Installation1048932
-Node: VMS Compilation1049535
-Ref: VMS Compilation-Footnote-11050542
-Node: VMS Installation Details1050600
-Node: VMS Running1052235
-Node: VMS Old Gawk1053842
-Node: Bugs1054316
-Node: Other Versions1058168
-Node: Notes1063769
-Node: Compatibility Mode1064569
-Node: Additions1065352
-Node: Accessing The Source1066279
-Node: Adding Code1067719
-Node: New Ports1073764
-Node: Derived Files1077899
-Ref: Derived Files-Footnote-11083220
-Ref: Derived Files-Footnote-21083254
-Ref: Derived Files-Footnote-31083854
-Node: Future Extensions1083952
-Node: Implementation Limitations1084533
-Node: Extension Design1085785
-Node: Old Extension Problems1086939
-Ref: Old Extension Problems-Footnote-11088447
-Node: Extension New Mechanism Goals1088504
-Ref: Extension New Mechanism Goals-Footnote-11091870
-Node: Extension Other Design Decisions1092056
-Node: Extension Future Growth1094162
-Node: Old Extension Mechanism1094998
-Node: Basic Concepts1096738
-Node: Basic High Level1097419
-Ref: figure-general-flow1097690
-Ref: figure-process-flow1098289
-Ref: Basic High Level-Footnote-11101518
-Node: Basic Data Typing1101703
-Node: Glossary1105058
-Node: Copying1130520
-Node: GNU Free Documentation License1168077
-Node: Index1193214
+Node: Language History996031
+Node: V7/SVR3.1997553
+Node: SVR4999874
+Node: POSIX1001316
+Node: BTL1002702
+Node: POSIX/GNU1003436
+Node: Common Extensions1008971
+Node: Ranges and Locales1010277
+Ref: Ranges and Locales-Footnote-11014895
+Ref: Ranges and Locales-Footnote-21014922
+Ref: Ranges and Locales-Footnote-31015182
+Node: Contributors1015403
+Node: Installation1020282
+Node: Gawk Distribution1021176
+Node: Getting1021660
+Node: Extracting1022486
+Node: Distribution contents1024178
+Node: Unix Installation1029439
+Node: Quick Installation1030056
+Node: Additional Configuration Options1032018
+Node: Configuration Philosophy1033495
+Node: Non-Unix Installation1035837
+Node: PC Installation1036295
+Node: PC Binary Installation1037594
+Node: PC Compiling1039442
+Node: PC Testing1042386
+Node: PC Using1043562
+Node: Cygwin1047747
+Node: MSYS1048747
+Node: VMS Installation1049261
+Node: VMS Compilation1049864
+Ref: VMS Compilation-Footnote-11050871
+Node: VMS Installation Details1050929
+Node: VMS Running1052564
+Node: VMS Old Gawk1054171
+Node: Bugs1054645
+Node: Other Versions1058497
+Node: Notes1064098
+Node: Compatibility Mode1064898
+Node: Additions1065681
+Node: Accessing The Source1066608
+Node: Adding Code1068048
+Node: New Ports1074093
+Node: Derived Files1078228
+Ref: Derived Files-Footnote-11083549
+Ref: Derived Files-Footnote-21083583
+Ref: Derived Files-Footnote-31084183
+Node: Future Extensions1084281
+Node: Implementation Limitations1084862
+Node: Extension Design1086114
+Node: Old Extension Problems1087268
+Ref: Old Extension Problems-Footnote-11088776
+Node: Extension New Mechanism Goals1088833
+Ref: Extension New Mechanism Goals-Footnote-11092199
+Node: Extension Other Design Decisions1092385
+Node: Extension Future Growth1094491
+Node: Old Extension Mechanism1095327
+Node: Basic Concepts1097067
+Node: Basic High Level1097748
+Ref: figure-general-flow1098019
+Ref: figure-process-flow1098618
+Ref: Basic High Level-Footnote-11101847
+Node: Basic Data Typing1102032
+Node: Glossary1105387
+Node: Copying1130849
+Node: GNU Free Documentation License1168406
+Node: Index1193543
 
 End Tag Table
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 95719786..9a4eae92 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -32824,8 +32824,15 @@ cd .../path/to/gawkextlib-code
                                       @ii{You may have to run this command twice}
 ./configure --with-gawk=/tmp/newgawk  @ii{Configure, point at ``installed'' gawk}
 make && make check                    @ii{Build and check that all is OK}
+make install                          @ii{Install the extensions}
 @end example
 
+If you have installed @command{gawk} in the standard way, then you
+will likely not need the @option{--with-gawk} option when configuring
+@code{gawkextlib}.  You may also need to use the @command{sudo} utility
+to install both @command{gawk} and @code{gawkextlib}, depending upon
+how your system works.
+
 If you write an extension that you wish to share with other
 @command{gawk} users, please consider doing so through the
 @code{gawkextlib} project.
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 40870076..42a20d7d 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -31973,8 +31973,15 @@ cd .../path/to/gawkextlib-code
                                       @ii{You may have to run this command twice}
 ./configure --with-gawk=/tmp/newgawk  @ii{Configure, point at ``installed'' gawk}
 make && make check                    @ii{Build and check that all is OK}
+make install                          @ii{Install the extensions}
 @end example
 
+If you have installed @command{gawk} in the standard way, then you
+will likely not need the @option{--with-gawk} option when configuring
+@code{gawkextlib}.  You may also need to use the @command{sudo} utility
+to install both @command{gawk} and @code{gawkextlib}, depending upon
+how your system works.
+
 If you write an extension that you wish to share with other
 @command{gawk} users, please consider doing so through the
 @code{gawkextlib} project.