[SCM] gawk branch, feature/improve-inet, updated. gawk-4.1.0-5883-g1f3ef141

[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/improve-inet has been updated
       via  1f3ef1414c984a01ae1332e4836329521204d551 (commit)
       via  af6e7bb82bed2f07f1d6e91dc96b5c6f53d759c7 (commit)
       via  7dc2bd5f4e112faa509f13ff64fb86ec6606f9d4 (commit)
       via  361cfd7aabd59f2ebc9bc69492f65f1189e120ca (commit)
       via  aa05baede714a9041df6bbb4b26c4c63b8a9bdc5 (commit)
       via  0aa59175c6c80128f6b6ee85cced91eda158f97f (commit)
      from  012c9f17fa63959e7ab294a48a82960ec29cb7bb (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=1f3ef1414c984a01ae1332e4836329521204d551

commit 1f3ef1414c984a01ae1332e4836329521204d551
Merge: 012c9f17 af6e7bb8
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Thu Mar 9 20:04:16 2023 +0200

    Merge branch 'master' into feature/improve-inet


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

Summary of changes:
 ChangeLog                                          |   8 +
 NEWS                                               |   8 +-
 doc/ChangeLog                                      |  16 +
 doc/Makefile.am                                    |  50 +-
 doc/Makefile.in                                    |  99 ++-
 doc/gawk.info                                      | 786 ++++++++++-----------
 doc/gawk.texi                                      |  12 +-
 doc/{api-figure1.eps => gawk_api-figure1.eps}      |   0
 doc/{api-figure1.fig => gawk_api-figure1.fig}      |   0
 doc/{api-figure1.pdf => gawk_api-figure1.pdf}      | Bin
 doc/{api-figure1.png => gawk_api-figure1.png}      | Bin
 doc/{api-figure1.txt => gawk_api-figure1.txt}      |   0
 doc/{api-figure2.eps => gawk_api-figure2.eps}      |   0
 doc/{api-figure2.fig => gawk_api-figure2.fig}      |   0
 doc/{api-figure2.pdf => gawk_api-figure2.pdf}      | Bin
 doc/{api-figure2.png => gawk_api-figure2.png}      | Bin
 doc/{api-figure2.txt => gawk_api-figure2.txt}      |   0
 doc/{api-figure3.eps => gawk_api-figure3.eps}      |   0
 doc/{api-figure3.fig => gawk_api-figure3.fig}      |   0
 doc/{api-figure3.pdf => gawk_api-figure3.pdf}      | Bin
 doc/{api-figure3.png => gawk_api-figure3.png}      | Bin
 doc/{api-figure3.txt => gawk_api-figure3.txt}      |   0
 ...{array-elements.eps => gawk_array-elements.eps} |   0
 ...{array-elements.fig => gawk_array-elements.fig} |   0
 ...{array-elements.pdf => gawk_array-elements.pdf} | Bin
 ...{array-elements.png => gawk_array-elements.png} | Bin
 ...{array-elements.txt => gawk_array-elements.txt} |   0
 ...eneral-program.eps => gawk_general-program.eps} |   0
 ...eneral-program.fig => gawk_general-program.fig} |   0
 ...eneral-program.pdf => gawk_general-program.pdf} | Bin
 ...eneral-program.png => gawk_general-program.png} | Bin
 ...eneral-program.txt => gawk_general-program.txt} |   0
 doc/{process-flow.eps => gawk_process-flow.eps}    |   0
 doc/{process-flow.fig => gawk_process-flow.fig}    |   0
 doc/{process-flow.pdf => gawk_process-flow.pdf}    | Bin
 doc/{process-flow.png => gawk_process-flow.png}    | Bin
 doc/{process-flow.txt => gawk_process-flow.txt}    |   0
 doc/{statist.eps => gawk_statist.eps}              |   0
 doc/{statist.jpg => gawk_statist.jpg}              | Bin
 doc/{statist.pdf => gawk_statist.pdf}              | Bin
 doc/{statist.txt => gawk_statist.txt}              |   0
 doc/gawkinet.info                                  |  22 +-
 doc/gawkinet.texi                                  |   2 +-
 doc/gawktexi.in                                    |  12 +-
 doc/gawkworkflow.info                              | 163 +++--
 doc/gawkworkflow.texi                              |  17 +-
 gawkapi.h                                          |   4 +-
 47 files changed, 656 insertions(+), 543 deletions(-)
 rename doc/{api-figure1.eps => gawk_api-figure1.eps} (100%)
 rename doc/{api-figure1.fig => gawk_api-figure1.fig} (100%)
 rename doc/{api-figure1.pdf => gawk_api-figure1.pdf} (100%)
 rename doc/{api-figure1.png => gawk_api-figure1.png} (100%)
 rename doc/{api-figure1.txt => gawk_api-figure1.txt} (100%)
 rename doc/{api-figure2.eps => gawk_api-figure2.eps} (100%)
 rename doc/{api-figure2.fig => gawk_api-figure2.fig} (100%)
 rename doc/{api-figure2.pdf => gawk_api-figure2.pdf} (100%)
 rename doc/{api-figure2.png => gawk_api-figure2.png} (100%)
 rename doc/{api-figure2.txt => gawk_api-figure2.txt} (100%)
 rename doc/{api-figure3.eps => gawk_api-figure3.eps} (100%)
 rename doc/{api-figure3.fig => gawk_api-figure3.fig} (100%)
 rename doc/{api-figure3.pdf => gawk_api-figure3.pdf} (100%)
 rename doc/{api-figure3.png => gawk_api-figure3.png} (100%)
 rename doc/{api-figure3.txt => gawk_api-figure3.txt} (100%)
 rename doc/{array-elements.eps => gawk_array-elements.eps} (100%)
 rename doc/{array-elements.fig => gawk_array-elements.fig} (100%)
 rename doc/{array-elements.pdf => gawk_array-elements.pdf} (100%)
 rename doc/{array-elements.png => gawk_array-elements.png} (100%)
 rename doc/{array-elements.txt => gawk_array-elements.txt} (100%)
 rename doc/{general-program.eps => gawk_general-program.eps} (100%)
 rename doc/{general-program.fig => gawk_general-program.fig} (100%)
 rename doc/{general-program.pdf => gawk_general-program.pdf} (100%)
 rename doc/{general-program.png => gawk_general-program.png} (100%)
 rename doc/{general-program.txt => gawk_general-program.txt} (100%)
 rename doc/{process-flow.eps => gawk_process-flow.eps} (100%)
 rename doc/{process-flow.fig => gawk_process-flow.fig} (100%)
 rename doc/{process-flow.pdf => gawk_process-flow.pdf} (100%)
 rename doc/{process-flow.png => gawk_process-flow.png} (100%)
 rename doc/{process-flow.txt => gawk_process-flow.txt} (100%)
 rename doc/{statist.eps => gawk_statist.eps} (100%)
 rename doc/{statist.jpg => gawk_statist.jpg} (100%)
 rename doc/{statist.pdf => gawk_statist.pdf} (100%)
 rename doc/{statist.txt => gawk_statist.txt} (100%)


hooks/post-receive
-- 
gawk