[SCM] gawk branch, gawk-5.2-stable, updated. gawk-4.1.0-5070-gd96114b7

[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, gawk-5.2-stable has been updated
       via  d96114b73baf7b65d52ca5154155d09c8a2df359 (commit)
      from  7ab825b1eeed5589faca505ff43d2cd2fb48faba (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=d96114b73baf7b65d52ca5154155d09c8a2df359

commit d96114b73baf7b65d52ca5154155d09c8a2df359
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 23 07:54:50 2023 +0300

    Use smarter makeinfo invocation for docs.

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 60df8cce..0ca7915f 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,9 @@
+2023-06-23         Arnold D. Robbins     <arnold@skeeve.com>
+
+       * Makefile.am (MAKEINFO): Add -c CHECK_NORMAL_MENU_STRUCTURE=1
+       per bug report on the grep bug list from Bruno Haible
+       <bruno@clisp.org>.
+
 2023-06-14         Arnold D. Robbins     <arnold@skeeve.com>
 
        * gawktexi.in (Fields): Add a footnote that referencing an
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 1ca09dca..10fafd37 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -54,7 +54,7 @@ EXTRA_DIST = ChangeLog ChangeLog.0 ChangeLog.1 \
 # Get rid of generated files when cleaning
 CLEANFILES = *.ps *.html *.dvi *~ awkcard.nc awkcard.tr gawk.pdf gawkinet.pdf 
gawkworkflow.pdf awkcard.pdf gawk.1.pdf gawkbug.1.pdf pm-gawk.1.pdf pm-gawk.pdf
 
-MAKEINFO = @MAKEINFO@ --no-split --force
+MAKEINFO = @MAKEINFO@ -c CHECK_NORMAL_MENU_STRUCTURE=1 --no-split --force
 
 TROFF = groff -t -Tps -U
 SEDME = sed -e "s/^level0 restore/level0 restore flashme 100 72 moveto 
(Copyright `date '+%m-%d-%y %T'`, FSF, Inc. (all)) show/" \
diff --git a/doc/Makefile.in b/doc/Makefile.in
index fc9fe22e..0e1dc60b 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -285,7 +285,7 @@ LTLIBICONV = @LTLIBICONV@
 LTLIBINTL = @LTLIBINTL@
 LTLIBOBJS = @LTLIBOBJS@
 LTLIBSIGSEGV = @LTLIBSIGSEGV@
-MAKEINFO = @MAKEINFO@ --no-split --force
+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