[SCM] gawk branch, gawk-5.3-stable, updated. gawk-4.1.0-5483-g2b6c756e

[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.3-stable has been updated
       via  2b6c756e7ff354694a0e30f4bfc921dade43d40a (commit)
      from  6dfab71ff7a7158c088a880958d2dd4fc0400c46 (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=2b6c756e7ff354694a0e30f4bfc921dade43d40a

commit 2b6c756e7ff354694a0e30f4bfc921dade43d40a
Author: Arnold D. Robbins <arnold@skeeve.com>
Date:   Fri Jun 14 12:46:51 2024 +0300

    Doc updates.

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 8dab6331..a43723fc 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,8 @@
+2024-06-14         Arnold D. Robbins     <arnold@skeeve.com>
+
+       * gawk.texi: Update copyright year, patch version. Remove an
+       obsolete paragraph.
+
 2024-06-10         Arnold D. Robbins     <arnold@skeeve.com>
 
        * gawk.texi, awkcard.in, gawk.1: Removed hidden references to
diff --git a/doc/gawk.info b/doc/gawk.info
index 7f2f5cc4..a1f151f1 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -1,11 +1,11 @@
 This is gawk.info, produced by makeinfo version 7.1 from gawk.texi.
 
-Copyright © 1989, 1991, 1992, 1993, 1996-2005, 2007, 2009-2023
+Copyright © 1989, 1991, 1992, 1993, 1996-2005, 2007, 2009-2024
 Free Software Foundation, Inc.
 
 
    This is Edition 5.3 of ‘GAWK: Effective AWK Programming: A User's
-Guide for GNU Awk’, for the 5.3.0 (or later) version of the GNU
+Guide for GNU Awk’, for the 5.3.1 (or later) version of the GNU
 implementation of AWK.
 
    Permission is granted to copy, distribute and/or modify this document
@@ -37,12 +37,12 @@ General Introduction
 This file documents ‘awk’, a program that you can use to select
 particular records in a file and perform operations upon them.
 
-   Copyright © 1989, 1991, 1992, 1993, 1996-2005, 2007, 2009-2023
+   Copyright © 1989, 1991, 1992, 1993, 1996-2005, 2007, 2009-2024
 Free Software Foundation, Inc.
 
 
    This is Edition 5.3 of ‘GAWK: Effective AWK Programming: A User's
-Guide for GNU Awk’, for the 5.3.0 (or later) version of the GNU
+Guide for GNU Awk’, for the 5.3.1 (or later) version of the GNU
 implementation of AWK.
 
    Permission is granted to copy, distribute and/or modify this document
@@ -31549,7 +31549,7 @@ There are two ways to get GNU software:
      supported.  If you have the ‘wget’ program, you can use a command
      like the following:
 
-          wget https://ftp.gnu.org/gnu/gawk/gawk-5.3.0.tar.gz
+          wget https://ftp.gnu.org/gnu/gawk/gawk-5.3.1.tar.gz
 
    The GNU software archive is mirrored around the world.  The
 up-to-date list of mirror sites is available from the main FSF website
@@ -31571,25 +31571,25 @@ compression programs: ‘gzip’, ‘bzip2’, and 
‘xz’.  For simplicity, th
 rest of these instructions assume you are using the one compressed with
 the GNU Gzip program (‘gzip’).
 
-   Once you have the distribution (e.g., ‘gawk-5.3.0.tar.gz’), use
+   Once you have the distribution (e.g., ‘gawk-5.3.1.tar.gz’), use
 ‘gzip’ to expand the file and then use ‘tar’ to extract it.  You can 
use
 the following pipeline to produce the ‘gawk’ distribution:
 
-     gzip -d -c gawk-5.3.0.tar.gz | tar -xvpf -
+     gzip -d -c gawk-5.3.1.tar.gz | tar -xvpf -
 
    On a system with GNU ‘tar’, you can let ‘tar’ do the decompression
 for you:
 
-     tar -xvpzf gawk-5.3.0.tar.gz
+     tar -xvpzf gawk-5.3.1.tar.gz
 
-Extracting the archive creates a directory named ‘gawk-5.3.0’ in the
+Extracting the archive creates a directory named ‘gawk-5.3.1’ in the
 current directory.
 
    The distribution file name is of the form ‘gawk-V.R.P.tar.gz’.  The V
 represents the major version of ‘gawk’, the R represents the current
 release of version V, and the P represents a “patch level”, meaning that
 minor bugs have been fixed in the release.  The current patch level is
-0, but when retrieving distributions, you should get the version with
+1, but when retrieving distributions, you should get the version with
 the highest version, release, and patch level.  (Note, however, that
 patch levels greater than or equal to 60 denote "beta" or nonproduction
 software; you might not want to retrieve such a version unless you don't
@@ -31840,7 +31840,7 @@ Unix-derived systems, GNU/Linux, BSD-based systems, and 
the Cygwin
 environment for MS-Windows.
 
    After you have extracted the ‘gawk’ distribution, ‘cd’ to
-‘gawk-5.3.0’.  As with most GNU software, you configure ‘gawk’ for your
+‘gawk-5.3.1’.  As with most GNU software, you configure ‘gawk’ for your
 system by running the ‘configure’ program.  This program is a Bourne
 shell script that is generated automatically using GNU Autoconf.  (The
 Autoconf software is described fully starting with *note Autoconf:
@@ -32260,8 +32260,8 @@ environment provides an excellent simulation of 
GNU/Linux, using Bash,
 GCC, GNU Make, and other GNU programs.  Compilation and installation for
 Cygwin is the same as for a Unix system:
 
-     tar -xvpzf gawk-5.3.0.tar.gz
-     cd gawk-5.3.0
+     tar -xvpzf gawk-5.3.1.tar.gz
+     cd gawk-5.3.1
      ./configure
      make && make check
 
@@ -33163,9 +33163,9 @@ B.6 Summary
    • The ‘gawk’ distribution is available from the GNU Project's main
      distribution site, ‘ftp.gnu.org’.  The canonical build recipe is:
 
-          wget https://ftp.gnu.org/gnu/gawk/gawk-5.3.0.tar.gz
-          tar -xvpzf gawk-5.3.0.tar.gz
-          cd gawk-5.3.0
+          wget https://ftp.gnu.org/gnu/gawk/gawk-5.3.1.tar.gz
+          tar -xvpzf gawk-5.3.1.tar.gz
+          cd gawk-5.3.1
           ./configure && make && make check
 
           NOTE: Because of the ‘https://’ URL, you may have to supply
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 0b28605c..49b2b929 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -54,9 +54,9 @@
 @c applies to and all the info about who's publishing this edition
 
 @c These apply across the board.
-@set UPDATE-MONTH October, 2023
+@set UPDATE-MONTH June, 2024
 @set VERSION 5.3
-@set PATCHLEVEL 0
+@set PATCHLEVEL 1
 
 @set GAWKINETTITLE TCP/IP Internetworking with @command{gawk}
 @set GAWKWORKFLOWTITLE Participating in @command{gawk} Development
@@ -303,13 +303,13 @@ Fax: +1-617-542-2652
 Email: <email>gnu@@gnu.org</email>
 URL: <ulink 
url="https://www.gnu.org";>https://www.gnu.org/</ulink></literallayout>
 
-<literallayout class="normal">Copyright &copy; 1989, 1991, 1992, 1993, 
1996&ndash;2005, 2007, 2009&ndash;2023
+<literallayout class="normal">Copyright &copy; 1989, 1991, 1992, 1993, 
1996&ndash;2005, 2007, 2009&ndash;2024
 Free Software Foundation, Inc.
 All Rights Reserved.</literallayout>
 @end docbook
 
 @ifnotdocbook
-Copyright @copyright{} 1989, 1991, 1992, 1993, 1996--2005, 2007, 2009--2023 @*
+Copyright @copyright{} 1989, 1991, 1992, 1993, 1996--2005, 2007, 2009--2024 @*
 Free Software Foundation, Inc.
 @end ifnotdocbook
 @sp 2
@@ -5167,13 +5167,6 @@ is thus essentially a place holder,
 in case some option becomes obsolete in a future version of @command{gawk}.
 @end ignore
 
-@ignore
-The arbitrary precision arithmetic feature is deprecated as of
-@command{gawk} @value{PVERSION} 5.2.
-Use of @option{-M}/@option{--bignum} produces a warning message.
-The feature will be removed in the release of 2024.
-@end ignore
-
 As of
 @command{gawk} @value{PVERSION} 5.2.
 the arbitrary precision arithmetic feature is ``on parole.''

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

Summary of changes:
 doc/ChangeLog |  5 +++++
 doc/gawk.info | 32 ++++++++++++++++----------------
 doc/gawk.texi | 15 ++++-----------
 3 files changed, 25 insertions(+), 27 deletions(-)


hooks/post-receive
-- 
gawk