diff options
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 7 |
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. |