Add make install to gawkextlib doc.

1 files changed, 7 insertions, 0 deletions

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.