Small doc fix.

4 files changed, 173 insertions, 167 deletions

diff --git a/doc/ChangeLog b/doc/ChangeLog
index af355722..5805f050 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,9 @@
+2020-11-20         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* gawktexi.in (Strange values): Correct the description of what
+	happens with infinity. Thanks to Antonio Columbo for pointing
+	out the problem.
+
 2020-11-16         Arnold D. Robbins     <arnold@skeeve.com>
 
 	* gawktexi.in (Nextfile Statement): Clarify what happens in
diff --git a/doc/gawk.info b/doc/gawk.info
index bf4400fa..19658e30 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -24437,7 +24437,7 @@ floating-point values internally.
 
    Infinity values of the same sign compare as equal to each other.
 Otherwise, operations (addition, subtraction, etc.)  involving another
-number and infinity produce infinity.
+number and infinity produce mathematically reasonable results.
 
    The second kind of value is "not a number", or NaN for short.(1)
 This is a special value that results from attempting a calculation that
@@ -38414,170 +38414,170 @@ Node: Inexact representation982528
 Node: Comparing FP Values983888
 Node: Errors accumulate985129
 Node: Strange values986585
-Ref: Strange values-Footnote-1989148
-Node: Getting Accuracy989253
-Node: Try To Round991963
-Node: Setting precision992862
-Ref: table-predefined-precision-strings993559
-Node: Setting the rounding mode995389
-Ref: table-gawk-rounding-modes995763
-Ref: Setting the rounding mode-Footnote-1999694
-Node: Arbitrary Precision Integers999873
-Ref: Arbitrary Precision Integers-Footnote-11003048
-Node: Checking for MPFR1003197
-Node: POSIX Floating Point Problems1004671
-Ref: POSIX Floating Point Problems-Footnote-11008956
-Node: Floating point summary1008994
-Node: Dynamic Extensions1011184
-Node: Extension Intro1012737
-Node: Plugin License1014003
-Node: Extension Mechanism Outline1014800
-Ref: figure-load-extension1015239
-Ref: figure-register-new-function1016804
-Ref: figure-call-new-function1017896
-Node: Extension API Description1019958
-Node: Extension API Functions Introduction1021671
-Ref: table-api-std-headers1023507
-Node: General Data Types1027756
-Ref: General Data Types-Footnote-11036386
-Node: Memory Allocation Functions1036685
-Ref: Memory Allocation Functions-Footnote-11041186
-Node: Constructor Functions1041285
-Node: API Ownership of MPFR and GMP Values1044751
-Node: Registration Functions1046064
-Node: Extension Functions1046764
-Node: Exit Callback Functions1052086
-Node: Extension Version String1053336
-Node: Input Parsers1053999
-Node: Output Wrappers1066720
-Node: Two-way processors1071232
-Node: Printing Messages1073497
-Ref: Printing Messages-Footnote-11074668
-Node: Updating ERRNO1074821
-Node: Requesting Values1075560
-Ref: table-value-types-returned1076297
-Node: Accessing Parameters1077233
-Node: Symbol Table Access1078470
-Node: Symbol table by name1078982
-Ref: Symbol table by name-Footnote-11082006
-Node: Symbol table by cookie1082134
-Ref: Symbol table by cookie-Footnote-11086319
-Node: Cached values1086383
-Ref: Cached values-Footnote-11089919
-Node: Array Manipulation1090072
-Ref: Array Manipulation-Footnote-11091163
-Node: Array Data Types1091200
-Ref: Array Data Types-Footnote-11093858
-Node: Array Functions1093950
-Node: Flattening Arrays1098448
-Node: Creating Arrays1105424
-Node: Redirection API1110191
-Node: Extension API Variables1113024
-Node: Extension Versioning1113735
-Ref: gawk-api-version1114164
-Node: Extension GMP/MPFR Versioning1115895
-Node: Extension API Informational Variables1117523
-Node: Extension API Boilerplate1118596
-Node: Changes from API V11122570
-Node: Finding Extensions1124142
-Node: Extension Example1124701
-Node: Internal File Description1125499
-Node: Internal File Ops1129579
-Ref: Internal File Ops-Footnote-11140929
-Node: Using Internal File Ops1141069
-Ref: Using Internal File Ops-Footnote-11143452
-Node: Extension Samples1143726
-Node: Extension Sample File Functions1145255
-Node: Extension Sample Fnmatch1152904
-Node: Extension Sample Fork1154391
-Node: Extension Sample Inplace1155609
-Node: Extension Sample Ord1159235
-Node: Extension Sample Readdir1160071
-Ref: table-readdir-file-types1160960
-Node: Extension Sample Revout1162027
-Node: Extension Sample Rev2way1162616
-Node: Extension Sample Read write array1163356
-Node: Extension Sample Readfile1165298
-Node: Extension Sample Time1166393
-Node: Extension Sample API Tests1168145
-Node: gawkextlib1168637
-Node: Extension summary1171555
-Node: Extension Exercises1175257
-Node: Language History1176499
-Node: V7/SVR3.11178155
-Node: SVR41180307
-Node: POSIX1181741
-Node: BTL1183122
-Node: POSIX/GNU1183851
-Node: Feature History1189629
-Node: Common Extensions1205948
-Node: Ranges and Locales1207231
-Ref: Ranges and Locales-Footnote-11211847
-Ref: Ranges and Locales-Footnote-21211874
-Ref: Ranges and Locales-Footnote-31212109
-Node: Contributors1212332
-Node: History summary1218329
-Node: Installation1219709
-Node: Gawk Distribution1220653
-Node: Getting1221137
-Node: Extracting1222100
-Node: Distribution contents1223738
-Node: Unix Installation1230218
-Node: Quick Installation1230900
-Node: Shell Startup Files1233314
-Node: Additional Configuration Options1234403
-Node: Configuration Philosophy1236718
-Node: Non-Unix Installation1239087
-Node: PC Installation1239547
-Node: PC Binary Installation1240385
-Node: PC Compiling1240820
-Node: PC Using1241937
-Node: Cygwin1245490
-Node: MSYS1246714
-Node: VMS Installation1247316
-Node: VMS Compilation1248107
-Ref: VMS Compilation-Footnote-11249336
-Node: VMS Dynamic Extensions1249394
-Node: VMS Installation Details1251079
-Node: VMS Running1253332
-Node: VMS GNV1257611
-Node: VMS Old Gawk1258346
-Node: Bugs1258817
-Node: Bug address1259480
-Node: Usenet1262462
-Node: Maintainers1263466
-Node: Other Versions1264651
-Node: Installation summary1271739
-Node: Notes1272948
-Node: Compatibility Mode1273742
-Node: Additions1274524
-Node: Accessing The Source1275449
-Node: Adding Code1276886
-Node: New Ports1283105
-Node: Derived Files1287480
-Ref: Derived Files-Footnote-11293140
-Ref: Derived Files-Footnote-21293175
-Ref: Derived Files-Footnote-31293773
-Node: Future Extensions1293887
-Node: Implementation Limitations1294545
-Node: Extension Design1295755
-Node: Old Extension Problems1296899
-Ref: Old Extension Problems-Footnote-11298417
-Node: Extension New Mechanism Goals1298474
-Ref: Extension New Mechanism Goals-Footnote-11301838
-Node: Extension Other Design Decisions1302027
-Node: Extension Future Growth1304140
-Node: Notes summary1304746
-Node: Basic Concepts1305904
-Node: Basic High Level1306585
-Ref: figure-general-flow1306867
-Ref: figure-process-flow1307552
-Ref: Basic High Level-Footnote-11310853
-Node: Basic Data Typing1311038
-Node: Glossary1314366
-Node: Copying1346251
-Node: GNU Free Documentation License1383794
-Node: Index1408914
+Ref: Strange values-Footnote-1989173
+Node: Getting Accuracy989278
+Node: Try To Round991988
+Node: Setting precision992887
+Ref: table-predefined-precision-strings993584
+Node: Setting the rounding mode995414
+Ref: table-gawk-rounding-modes995788
+Ref: Setting the rounding mode-Footnote-1999719
+Node: Arbitrary Precision Integers999898
+Ref: Arbitrary Precision Integers-Footnote-11003073
+Node: Checking for MPFR1003222
+Node: POSIX Floating Point Problems1004696
+Ref: POSIX Floating Point Problems-Footnote-11008981
+Node: Floating point summary1009019
+Node: Dynamic Extensions1011209
+Node: Extension Intro1012762
+Node: Plugin License1014028
+Node: Extension Mechanism Outline1014825
+Ref: figure-load-extension1015264
+Ref: figure-register-new-function1016829
+Ref: figure-call-new-function1017921
+Node: Extension API Description1019983
+Node: Extension API Functions Introduction1021696
+Ref: table-api-std-headers1023532
+Node: General Data Types1027781
+Ref: General Data Types-Footnote-11036411
+Node: Memory Allocation Functions1036710
+Ref: Memory Allocation Functions-Footnote-11041211
+Node: Constructor Functions1041310
+Node: API Ownership of MPFR and GMP Values1044776
+Node: Registration Functions1046089
+Node: Extension Functions1046789
+Node: Exit Callback Functions1052111
+Node: Extension Version String1053361
+Node: Input Parsers1054024
+Node: Output Wrappers1066745
+Node: Two-way processors1071257
+Node: Printing Messages1073522
+Ref: Printing Messages-Footnote-11074693
+Node: Updating ERRNO1074846
+Node: Requesting Values1075585
+Ref: table-value-types-returned1076322
+Node: Accessing Parameters1077258
+Node: Symbol Table Access1078495
+Node: Symbol table by name1079007
+Ref: Symbol table by name-Footnote-11082031
+Node: Symbol table by cookie1082159
+Ref: Symbol table by cookie-Footnote-11086344
+Node: Cached values1086408
+Ref: Cached values-Footnote-11089944
+Node: Array Manipulation1090097
+Ref: Array Manipulation-Footnote-11091188
+Node: Array Data Types1091225
+Ref: Array Data Types-Footnote-11093883
+Node: Array Functions1093975
+Node: Flattening Arrays1098473
+Node: Creating Arrays1105449
+Node: Redirection API1110216
+Node: Extension API Variables1113049
+Node: Extension Versioning1113760
+Ref: gawk-api-version1114189
+Node: Extension GMP/MPFR Versioning1115920
+Node: Extension API Informational Variables1117548
+Node: Extension API Boilerplate1118621
+Node: Changes from API V11122595
+Node: Finding Extensions1124167
+Node: Extension Example1124726
+Node: Internal File Description1125524
+Node: Internal File Ops1129604
+Ref: Internal File Ops-Footnote-11140954
+Node: Using Internal File Ops1141094
+Ref: Using Internal File Ops-Footnote-11143477
+Node: Extension Samples1143751
+Node: Extension Sample File Functions1145280
+Node: Extension Sample Fnmatch1152929
+Node: Extension Sample Fork1154416
+Node: Extension Sample Inplace1155634
+Node: Extension Sample Ord1159260
+Node: Extension Sample Readdir1160096
+Ref: table-readdir-file-types1160985
+Node: Extension Sample Revout1162052
+Node: Extension Sample Rev2way1162641
+Node: Extension Sample Read write array1163381
+Node: Extension Sample Readfile1165323
+Node: Extension Sample Time1166418
+Node: Extension Sample API Tests1168170
+Node: gawkextlib1168662
+Node: Extension summary1171580
+Node: Extension Exercises1175282
+Node: Language History1176524
+Node: V7/SVR3.11178180
+Node: SVR41180332
+Node: POSIX1181766
+Node: BTL1183147
+Node: POSIX/GNU1183876
+Node: Feature History1189654
+Node: Common Extensions1205973
+Node: Ranges and Locales1207256
+Ref: Ranges and Locales-Footnote-11211872
+Ref: Ranges and Locales-Footnote-21211899
+Ref: Ranges and Locales-Footnote-31212134
+Node: Contributors1212357
+Node: History summary1218354
+Node: Installation1219734
+Node: Gawk Distribution1220678
+Node: Getting1221162
+Node: Extracting1222125
+Node: Distribution contents1223763
+Node: Unix Installation1230243
+Node: Quick Installation1230925
+Node: Shell Startup Files1233339
+Node: Additional Configuration Options1234428
+Node: Configuration Philosophy1236743
+Node: Non-Unix Installation1239112
+Node: PC Installation1239572
+Node: PC Binary Installation1240410
+Node: PC Compiling1240845
+Node: PC Using1241962
+Node: Cygwin1245515
+Node: MSYS1246739
+Node: VMS Installation1247341
+Node: VMS Compilation1248132
+Ref: VMS Compilation-Footnote-11249361
+Node: VMS Dynamic Extensions1249419
+Node: VMS Installation Details1251104
+Node: VMS Running1253357
+Node: VMS GNV1257636
+Node: VMS Old Gawk1258371
+Node: Bugs1258842
+Node: Bug address1259505
+Node: Usenet1262487
+Node: Maintainers1263491
+Node: Other Versions1264676
+Node: Installation summary1271764
+Node: Notes1272973
+Node: Compatibility Mode1273767
+Node: Additions1274549
+Node: Accessing The Source1275474
+Node: Adding Code1276911
+Node: New Ports1283130
+Node: Derived Files1287505
+Ref: Derived Files-Footnote-11293165
+Ref: Derived Files-Footnote-21293200
+Ref: Derived Files-Footnote-31293798
+Node: Future Extensions1293912
+Node: Implementation Limitations1294570
+Node: Extension Design1295780
+Node: Old Extension Problems1296924
+Ref: Old Extension Problems-Footnote-11298442
+Node: Extension New Mechanism Goals1298499
+Ref: Extension New Mechanism Goals-Footnote-11301863
+Node: Extension Other Design Decisions1302052
+Node: Extension Future Growth1304165
+Node: Notes summary1304771
+Node: Basic Concepts1305929
+Node: Basic High Level1306610
+Ref: figure-general-flow1306892
+Ref: figure-process-flow1307577
+Ref: Basic High Level-Footnote-11310878
+Node: Basic Data Typing1311063
+Node: Glossary1314391
+Node: Copying1346276
+Node: GNU Free Documentation License1383819
+Node: Index1408939
 
 End Tag Table
 
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 7943365f..0886e460 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -33896,7 +33896,7 @@ converts them to the proper floating-point values internally.
 
 Infinity values of the same sign compare as equal to each other.
 Otherwise, operations (addition, subtraction, etc.) involving another
-number and infinity produce infinity.
+number and infinity produce mathematically reasonable results.
 
 The second kind of value is ``not a number'', or NaN for
 short.@footnote{Thanks to Michael Brennan for this description, which we
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 04e16468..1498c8ae 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -32862,7 +32862,7 @@ converts them to the proper floating-point values internally.
 
 Infinity values of the same sign compare as equal to each other.
 Otherwise, operations (addition, subtraction, etc.) involving another
-number and infinity produce infinity.
+number and infinity produce mathematically reasonable results.
 
 The second kind of value is ``not a number'', or NaN for
 short.@footnote{Thanks to Michael Brennan for this description, which we