diff options
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 7 |
1 files changed, 7 insertions, 0 deletions
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. |