[gawk-diffs] [SCM] gawk branch, master, updated. 28d9143e9b98728450f5db7b2244f99768de399f

[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  28d9143e9b98728450f5db7b2244f99768de399f (commit)
      from  8f54dd0de27cbb617ef7c3a1f5a3d57502c117aa (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=28d9143e9b98728450f5db7b2244f99768de399f

commit 28d9143e9b98728450f5db7b2244f99768de399f
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Jan 21 21:00:36 2013 +0200

    Typo fix in doc.

diff --git a/doc/ChangeLog b/doc/ChangeLog
index 2c31d9d..7078272 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,8 @@
+2013-01-21         Arnold D. Robbins     <address@hidden>
+
+       * gawk.texi (Setting Precision): Fix a typo. 3.322 instead
+       of 3.332.  Thanks to Hermann Peifer.
+
 2013-01-09         Arnold D. Robbins     <address@hidden>
 
        * gawk.texi: Minor edits to documentation for new inplace extension.
diff --git a/doc/gawk.info b/doc/gawk.info
index e8a85e8..a9acd6a 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -21094,7 +21094,7 @@ to the formula:
 Here, PREC denotes the binary precision (measured in bits) and DPS
 (short for decimal places) is the decimal digits. We can easily
 calculate how many decimal digits the 53-bit significand of an IEEE
-double is equivalent to: 53 / 3.332 which is equal to about 15.95.  But
+double is equivalent to: 53 / 3.322 which is equal to about 15.95.  But
 what does 15.95 digits actually mean? It depends whether you are
 concerned about how many digits you can rely on, or how many digits you
 need.
diff --git a/doc/gawk.texi b/doc/gawk.texi
index f728b3f..7c59d38 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -27958,7 +27958,7 @@ Here, @var{prec} denotes the binary precision
 (measured in bits) and @var{dps} (short for decimal places)
 is the decimal digits. We can easily calculate how many decimal
 digits the 53-bit significand of an IEEE double is equivalent to:
-53 / 3.332 which is equal to about 15.95.
+53 / 3.322 which is equal to about 15.95.
 But what does 15.95 digits actually mean? It depends whether you are
 concerned about how many digits you can rely on, or how many digits
 you need.

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

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


hooks/post-receive
-- 
gawk