Typo in gawk documentation

[Pablo Virolainen]

The Gawk documentation tells in "4.5.2 Format-Control Letters" that
<copy-paste>
On systems supporting IEEE 754 floating point format, values representing
negative infinity are formatted as `-inf' or `-infinity', and positive
infinity as `inf' and `-infinity'. The special “not a number” value
formats as `-nan' or `nan'.
</copy-paste>
"`inf' and `-infinity'",which must be incorrect.

diff -Nru gawk-3.1.5.orig/doc/gawk.texi gawk-3.1.5/doc/gawk.texi
--- gawk-3.1.5.orig/doc/gawk.texi       2005-07-25 22:28:03.000000000 +0300
+++ gawk-3.1.5/doc/gawk.texi    2005-10-15 10:30:43.000000000 +0300
@@ -6179,7 +6179,7 @@
 infinity are formatted as
 @samp{-inf} or @samp{-infinity},
 and positive infinity as
address@hidden and @samp{-infinity}.
address@hidden and @samp{infinity}.
 The special ``not a number'' value formats as @samp{-nan} or @samp{nan}.

 @item %F

Pablo Virolainen

gawk-doc.patch
Description: Text document