[SCM] gawk branch, porting, updated. gawk-4.1.0-5967-g83bb0da3

[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, porting has been updated
       via  83bb0da35b4b9b9721993d804dff2042e1433c21 (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  f1583fb083dfe5726140d0e77f8df40db8cee572 (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=83bb0da35b4b9b9721993d804dff2042e1433c21

commit 83bb0da35b4b9b9721993d804dff2042e1433c21
Merge: f1583fb0 ba4dc1f2
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Sat Oct 21 21:09:18 2023 +0300

    Merge branch 'master' into porting


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

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