[gawk-diffs] [SCM] gawk branch, feature/better-index, updated. gawk-4.1.0-3760-g18e40b2

[Arnold Robbins]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, feature/better-index has been updated
       via  18e40b2bb4d640e149b2e15a98be5a622f8bf6a2 (commit)
       via  5fcb16c45d4f282557411479194c61e30d3b63cd (commit)
       via  2a1cc6b172b589d64166c2350d85f512c648a2ca (commit)
       via  323aec85713a8eb95290c3af806eb611c5d61798 (commit)
      from  1a4ad4a8c0e417a4badf0eaf1fa342e7b4bc43b7 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=18e40b2bb4d640e149b2e15a98be5a622f8bf6a2

commit 18e40b2bb4d640e149b2e15a98be5a622f8bf6a2
Merge: 1a4ad4a 5fcb16c
Author: Arnold D. Robbins <address@hidden>
Date:   Sun May 5 20:34:57 2019 +0300

    Merge branch 'master' into feature/better-index

diff --cc doc/gawk.texi
index e53c563,8983ce6..21a5f91
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@@ -40672,10 -40530,14 +40672,14 @@@ command line when compiling @command{ga
  @table @code
  
  @cindex @option{--disable-extensions} configuration option
 address@hidden configuration option, @code{--disable-extensions}
 address@hidden configuration option @subentry @code{--disable-extensions}
  @item --disable-extensions
- Disable configuring and building the sample extensions in the
- @file{extension} directory. This is useful for cross-compiling.
+ Disable the extension mechanism within @command{gawk}. With this
+ option, it is not possible to use dynamic extensions.  This also
+ disables configuring and building the sample extensions in the
+ @file{extension} directory.
+ 
+ This option may be useful for cross-compiling.
  The default action is to dynamically check if the extensions
  can be configured and compiled.
  
diff --cc doc/gawktexi.in
index 153f632,8c9b14f..5f87c7d
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@@ -39643,10 -39503,14 +39643,14 @@@ command line when compiling @command{ga
  @table @code
  
  @cindex @option{--disable-extensions} configuration option
 address@hidden configuration option, @code{--disable-extensions}
 address@hidden configuration option @subentry @code{--disable-extensions}
  @item --disable-extensions
- Disable configuring and building the sample extensions in the
- @file{extension} directory. This is useful for cross-compiling.
+ Disable the extension mechanism within @command{gawk}. With this
+ option, it is not possible to use dynamic extensions.  This also
+ disables configuring and building the sample extensions in the
+ @file{extension} directory.
+ 
+ This option may be useful for cross-compiling.
  The default action is to dynamically check if the extensions
  can be configured and compiled.
  

-----------------------------------------------------------------------

Summary of changes:
 ChangeLog       |   5 +++
 doc/ChangeLog   |   6 +++
 doc/gawk.info   | 132 +++++++++++++++++++++++++++++---------------------------
 doc/gawk.texi   |   8 +++-
 doc/gawktexi.in |   8 +++-
 ext.c           |   2 +-
 6 files changed, 92 insertions(+), 69 deletions(-)


hooks/post-receive
-- 
gawk