[gawk-diffs] [SCM] gawk branch, gawk-4.1-stable, updated. gawk-4.1.0-607-gdb6a69b

[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.1-stable has been updated
       via  db6a69baecd9b7a98e6de31eec2e20477130d8ef (commit)
      from  d8fd5725c32a6aa76eb8438adc0c912e6ad2696b (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=db6a69baecd9b7a98e6de31eec2e20477130d8ef

commit db6a69baecd9b7a98e6de31eec2e20477130d8ef
Author: Arnold D. Robbins <address@hidden>
Date:   Sun Mar 1 06:14:42 2015 +0200

    Minor doc fix.

diff --git a/doc/ChangeLog b/doc/ChangeLog
index d967914..654d0cc 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,8 @@
+2015-03-01         Arnold D. Robbins     <address@hidden>
+
+       * gawktexi.in: Change quotes to @dfn for pseudorandom.
+       A last-minute O'Reilly fix.
+
 2015-02-27         Arnold D. Robbins     <address@hidden>
 
        * gawktexi.in: Update UPDATE-MONTH and copyright year.
diff --git a/doc/gawk.info b/doc/gawk.info
index 1b6a0a9..9c23943 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -11999,7 +11999,7 @@ numbers.
    (2) `mawk' uses a different seed each time.
 
    (3) Computer-generated random numbers really are not truly random.
-They are technically known as "pseudorandom."  This means that although
+They are technically known as "pseudorandom".  This means that although
 the numbers in a sequence appear to be random, you can in fact generate
 the same sequence of random numbers over and over again.
 
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 8a2de8b..05d03a6 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -17044,7 +17044,7 @@ for generating random numbers to the value @var{x}.
 
 Each seed value leads to a particular sequence of random
 address@hidden random numbers really are not truly
-random.  They are technically known as ``pseudorandom.''  This means
+random.  They are technically known as @dfn{pseudorandom}.  This means
 that although the numbers in a sequence appear to be random, you can in
 fact generate the same sequence of random numbers over and over again.}
 Thus, if the seed is set to the same value a second time,
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index aecf8e5..1efff5a 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -16326,7 +16326,7 @@ for generating random numbers to the value @var{x}.
 
 Each seed value leads to a particular sequence of random
 address@hidden random numbers really are not truly
-random.  They are technically known as ``pseudorandom.''  This means
+random.  They are technically known as @dfn{pseudorandom}.  This means
 that although the numbers in a sequence appear to be random, you can in
 fact generate the same sequence of random numbers over and over again.}
 Thus, if the seed is set to the same value a second time,

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

Summary of changes:
 doc/ChangeLog   |    5 +++++
 doc/gawk.info   |    2 +-
 doc/gawk.texi   |    2 +-
 doc/gawktexi.in |    2 +-
 4 files changed, 8 insertions(+), 3 deletions(-)


hooks/post-receive
-- 
gawk