[SCM] gawk branch, feature/minrx, updated. gawk-4.1.0-5411-ga7c57931

[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/minrx has been updated
       via  a7c57931d056ae690d29a7ebcdef785a900daebd (commit)
       via  ba4dc1f2d640edbce348a9f44d1dd67c01d1a5b3 (commit)
       via  d0cd5560acebf972f77bc96346402baa3f7eed5b (commit)
       via  96386768af382ddc9b2dd6c6243c1b758ac3f2b8 (commit)
       via  3d10f90df39d77bf37fa8bfbec242ce16e38b831 (commit)
       via  101608d23c5d3b27e77651b7669f291c089ae91b (commit)
       via  a2fd0c60cb82ff5ad25afb864bd3ff0b6732b60a (commit)
       via  e49a1adc77c5cc9ca8f7db61b16de73b89a563fd (commit)
       via  a1a02e299412a7eb4b901bb0947168fd68e46689 (commit)
       via  78eaa04695da806ed5848c26acaaa8d14452a747 (commit)
      from  7a12cfb1899236aaf612669bc06352cac3f6acd0 (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=a7c57931d056ae690d29a7ebcdef785a900daebd

commit a7c57931d056ae690d29a7ebcdef785a900daebd
Merge: 7a12cfb1 ba4dc1f2
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Oct 21 21:10:25 2023 +0300

    Merge branch 'master' into feature/minrx


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

Summary of changes:
 ChangeLog                                        |    9 +
 Checklist                                        |    9 +-
 awkgram.c                                        |    1 +
 awkgram.y                                        |    1 +
 doc/ChangeLog                                    |    9 +
 doc/gawk.info                                    | 1022 +++++++++++-----------
 doc/gawk.texi                                    |   73 +-
 doc/it/ChangeLog                                 |   18 +
 doc/it/README.txt                                |   21 +-
 doc/it/{compila_originale.sh => compila_gawk.sh} |    4 -
 doc/it/compila_smallprint.sh                     |   19 -
 doc/it/gawk.1                                    |   40 +-
 doc/it/{gawktexi.in => gawk.texi}                |  176 ++--
 doc/it/gendocs.sh                                |   48 +-
 doc/it/genera_formati.sh                         |    8 +-
 doc/it/sidebar.awk                               |   67 --
 doc/it/texinfo.tex                               |  190 ++--
 doc/wordlist3                                    |    2 +
 main.c                                           |    2 +-
 po/xhe.po                                        |   51 +-
 20 files changed, 879 insertions(+), 891 deletions(-)
 mode change 100644 => 100755 doc/it/README.txt
 rename doc/it/{compila_originale.sh => compila_gawk.sh} (80%)
 delete mode 100755 doc/it/compila_smallprint.sh
 mode change 100755 => 100644 doc/it/gawk.1
 rename doc/it/{gawktexi.in => gawk.texi} (99%)
 delete mode 100644 doc/it/sidebar.awk


hooks/post-receive
-- 
gawk