[SCM] gawk branch, master, updated. gawk-4.1.0-5312-gc7acef0e

[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, master has been updated
       via  c7acef0e1e3970d7f33cb00d4a93c92233a3f1af (commit)
       via  d96114b73baf7b65d52ca5154155d09c8a2df359 (commit)
      from  45615b52f6346d0258f0e572ae1cc225aacb5b41 (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=c7acef0e1e3970d7f33cb00d4a93c92233a3f1af

commit c7acef0e1e3970d7f33cb00d4a93c92233a3f1af
Merge: 45615b52 d96114b7
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 23 07:56:36 2023 +0300

    Merge branch 'gawk-5.2-stable'

diff --cc doc/Makefile.in
index c571a8c3,0e1dc60b..ab9f7429
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@@ -281,7 -284,8 +281,7 @@@ LN_S = @LN_S
  LTLIBICONV = @LTLIBICONV@
  LTLIBINTL = @LTLIBINTL@
  LTLIBOBJS = @LTLIBOBJS@
- MAKEINFO = @MAKEINFO@ --no-split --force
 -LTLIBSIGSEGV = @LTLIBSIGSEGV@
+ MAKEINFO = @MAKEINFO@ -c CHECK_NORMAL_MENU_STRUCTURE=1 --no-split --force
  MKDIR_P = @MKDIR_P@
  MSGFMT = @MSGFMT@
  MSGMERGE = @MSGMERGE@

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

Summary of changes:
 doc/ChangeLog   | 6 ++++++
 doc/Makefile.am | 2 +-
 doc/Makefile.in | 2 +-
 3 files changed, 8 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk