[gawk-diffs] [SCM] gawk branch, gawk-4.2-stable, updated. gawk-4.1.0-2880-g06a214c

[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-4.2-stable has been updated
       via  06a214ca0d578dd29e6329f9e16382e653a07662 (commit)
      from  a1e5ff3b8d65544d8819d70f598893d6056725e3 (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=06a214ca0d578dd29e6329f9e16382e653a07662

commit 06a214ca0d578dd29e6329f9e16382e653a07662
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Jan 15 07:48:20 2018 +0200

    Documentation updates.

diff --git a/ChangeLog b/ChangeLog
index 4a1be06..c2d7400 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2018-01-15         Arnold D. Robbins     <address@hidden>
+
+       * NEWS: Small typo fix.
+
 2018-01-12         Arnold D. Robbins     <address@hidden>
 
        * gawkapi.h: Remove extraneous '*' on parameters of
diff --git a/NEWS b/NEWS
index eaca9b7..eb4b141 100644
--- a/NEWS
+++ b/NEWS
@@ -15,7 +15,7 @@ Changes from 4.2.0 to 4.2.1
 2. The manual received a number of updates to make it format better
    for PDF.
 
-3. A configure new option, --enable-versioned-dir, causes the directory
+3. A new configure option, --enable-versioned-dir, causes the directory
    holding extensions to include the API version in its name.
 
 4. extension/configure.ac has been improved considerably.
diff --git a/doc/ChangeLog b/doc/ChangeLog
index 59f6553..396986a 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,8 @@
+2018-01-15         Arnold D. Robbins     <address@hidden>
+
+       * gawktexi.in: Update gnu.org and fsf.org URLs to https. OK'd
+       by the FSF.
+
 2018-01-11         Arnold D. Robbins     <address@hidden>
 
        * gawktexi.in: Remove incorrect '*' on some declarations of
diff --git a/doc/gawk.info b/doc/gawk.info
index 28b88da..d1491d7 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -31630,7 +31630,7 @@ GNU General Public License
 
                         Version 3, 29 June 2007
 
-     Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
+     Copyright (C) 2007 Free Software Foundation, Inc. <https://fsf.org/>
 
      Everyone is permitted to copy and distribute verbatim copies of this
      license document, but changing it is not allowed.
@@ -32308,7 +32308,7 @@ state the exclusion of warranty; and each file should 
have at least the
      General Public License for more details.
 
      You should have received a copy of the GNU General Public License
-     along with this program.  If not, see <http://www.gnu.org/licenses/>.
+     along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
    Also add information on how to contact you by electronic and paper
 mail.
@@ -32329,14 +32329,14 @@ use an "about box".
    You should also get your employer (if you work as a programmer) or
 school, if any, to sign a "copyright disclaimer" for the program, if
 necessary.  For more information on this, and how to apply and follow
-the GNU GPL, see <http://www.gnu.org/licenses/>.
+the GNU GPL, see <https://www.gnu.org/licenses/>.
 
    The GNU General Public License does not permit incorporating your
 program into proprietary programs.  If your program is a subroutine
 library, you may consider it more useful to permit linking proprietary
 applications with the library.  If this is what you want to do, use the
 GNU Lesser General Public License instead of this License.  But first,
-please read <http://www.gnu.org/philosophy/why-not-lgpl.html>.
+please read <https://www.gnu.org/philosophy/why-not-lgpl.html>.
 
 
 File: gawk.info,  Node: GNU Free Documentation License,  Next: Index,  Prev: 
Copying,  Up: Top
@@ -32347,7 +32347,7 @@ GNU Free Documentation License
                      Version 1.3, 3 November 2008
 
      Copyright (C) 2000, 2001, 2002, 2007, 2008 Free Software Foundation, Inc.
-     <http://fsf.org/>
+     <https://fsf.org/>
 
      Everyone is permitted to copy and distribute verbatim copies
      of this license document, but changing it is not allowed.
@@ -32744,7 +32744,7 @@ GNU Free Documentation License
      the GNU Free Documentation License from time to time.  Such new
      versions will be similar in spirit to the present version, but may
      differ in detail to address new problems or concerns.  See
-     <http://www.gnu.org/copyleft/>.
+     <https://www.gnu.org/copyleft/>.
 
      Each version of the License is given a distinguishing version
      number.  If the Document specifies that a particular numbered
@@ -36556,7 +36556,7 @@ Ref: Basic High Level-Footnote-11245376
 Node: Basic Data Typing1245561
 Node: Glossary1248889
 Node: Copying1280727
-Node: GNU Free Documentation License1318266
-Node: Index1343384
+Node: GNU Free Documentation License1318270
+Node: Index1343390
 
 End Tag Table
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 843648f..a798b22 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -42871,7 +42871,7 @@ record or a string.
 @c hence no sectioning command or @node.
 
 @display
-Copyright @copyright{} 2007 Free Software Foundation, Inc. 
@url{http://fsf.org/}
+Copyright @copyright{} 2007 Free Software Foundation, Inc. 
@url{https://fsf.org/}
 
 Everyone is permitted to copy and distribute verbatim copies of this
 license document, but changing it is not allowed.
@@ -43554,7 +43554,7 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  
See the GNU
 General Public License for more details.
 
 You should have received a copy of the GNU General Public License
-along with this program.  If not, see @url{http://www.gnu.org/licenses/}.
+along with this program.  If not, see @url{https://www.gnu.org/licenses/}.
 @end smallexample
 
 Also add information on how to contact you by electronic and paper mail.
@@ -43577,14 +43577,14 @@ use an ``about box''.
 You should also get your employer (if you work as a programmer) or school,
 if any, to sign a ``copyright disclaimer'' for the program, if necessary.
 For more information on this, and how to apply and follow the GNU GPL, see
address@hidden://www.gnu.org/licenses/}.
address@hidden://www.gnu.org/licenses/}.
 
 The GNU General Public License does not permit incorporating your
 program into proprietary programs.  If your program is a subroutine
 library, you may consider it more useful to permit linking proprietary
 applications with the library.  If this is what you want to do, use
 the GNU Lesser General Public License instead of this License.  But
-first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}.
+first, please read @url{https://www.gnu.org/philosophy/why-not-lgpl.html}.
 
 @ifclear FOR_PRINT
 @c The GNU Free Documentation License.
@@ -43607,7 +43607,7 @@ first, please read 
@url{http://www.gnu.org/philosophy/why-not-lgpl.html}.
 
 @display
 Copyright @copyright{} 2000, 2001, 2002, 2007, 2008 Free Software Foundation, 
Inc.
address@hidden://fsf.org/}
address@hidden://fsf.org/}
 
 Everyone is permitted to copy and distribute verbatim copies
 of this license document, but changing it is not allowed.
@@ -44015,7 +44015,7 @@ The Free Software Foundation may publish new, revised 
versions
 of the GNU Free Documentation License from time to time.  Such new
 versions will be similar in spirit to the present version, but may
 differ in detail to address new problems or concerns.  See
address@hidden://www.gnu.org/copyleft/}.
address@hidden://www.gnu.org/copyleft/}.
 
 Each version of the License is given a distinguishing version number.
 If the Document specifies that a particular numbered version of this
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 551fcec..d56c735 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -41845,7 +41845,7 @@ record or a string.
 @c hence no sectioning command or @node.
 
 @display
-Copyright @copyright{} 2007 Free Software Foundation, Inc. 
@url{http://fsf.org/}
+Copyright @copyright{} 2007 Free Software Foundation, Inc. 
@url{https://fsf.org/}
 
 Everyone is permitted to copy and distribute verbatim copies of this
 license document, but changing it is not allowed.
@@ -42528,7 +42528,7 @@ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  
See the GNU
 General Public License for more details.
 
 You should have received a copy of the GNU General Public License
-along with this program.  If not, see @url{http://www.gnu.org/licenses/}.
+along with this program.  If not, see @url{https://www.gnu.org/licenses/}.
 @end smallexample
 
 Also add information on how to contact you by electronic and paper mail.
@@ -42551,14 +42551,14 @@ use an ``about box''.
 You should also get your employer (if you work as a programmer) or school,
 if any, to sign a ``copyright disclaimer'' for the program, if necessary.
 For more information on this, and how to apply and follow the GNU GPL, see
address@hidden://www.gnu.org/licenses/}.
address@hidden://www.gnu.org/licenses/}.
 
 The GNU General Public License does not permit incorporating your
 program into proprietary programs.  If your program is a subroutine
 library, you may consider it more useful to permit linking proprietary
 applications with the library.  If this is what you want to do, use
 the GNU Lesser General Public License instead of this License.  But
-first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}.
+first, please read @url{https://www.gnu.org/philosophy/why-not-lgpl.html}.
 
 @ifclear FOR_PRINT
 @c The GNU Free Documentation License.
@@ -42581,7 +42581,7 @@ first, please read 
@url{http://www.gnu.org/philosophy/why-not-lgpl.html}.
 
 @display
 Copyright @copyright{} 2000, 2001, 2002, 2007, 2008 Free Software Foundation, 
Inc.
address@hidden://fsf.org/}
address@hidden://fsf.org/}
 
 Everyone is permitted to copy and distribute verbatim copies
 of this license document, but changing it is not allowed.
@@ -42989,7 +42989,7 @@ The Free Software Foundation may publish new, revised 
versions
 of the GNU Free Documentation License from time to time.  Such new
 versions will be similar in spirit to the present version, but may
 differ in detail to address new problems or concerns.  See
address@hidden://www.gnu.org/copyleft/}.
address@hidden://www.gnu.org/copyleft/}.
 
 Each version of the License is given a distinguishing version number.
 If the Document specifies that a particular numbered version of this

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

Summary of changes:
 ChangeLog       |  4 ++++
 NEWS            |  2 +-
 doc/ChangeLog   |  5 +++++
 doc/gawk.info   | 16 ++++++++--------
 doc/gawk.texi   | 12 ++++++------
 doc/gawktexi.in | 12 ++++++------
 6 files changed, 30 insertions(+), 21 deletions(-)


hooks/post-receive
-- 
gawk