From 5e65b0c7dcba3f958c28d88d4fcb641ccdbd521b Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Thu, 27 Jun 2013 11:40:19 +0300 Subject: Doc fix with texinfo.tex. --- doc/gawk.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/gawk.texi') diff --git a/doc/gawk.texi b/doc/gawk.texi index c9211007..fa3e5871 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -10121,7 +10121,7 @@ point, so the default behavior was restored to use a period as the decimal point character. You can use the @option{--use-lc-numeric} option (@pxref{Options}) to force @command{gawk} to use the locale's decimal point character. (@command{gawk} also uses the locale's decimal -point character when in POSIX mode, either via @w{@option{--posix}}, or the +point character when in POSIX mode, either via @option{--posix}, or the @env{POSIXLY_CORRECT} environment variable, as shown previously.) @ref{table-locale-affects} describes the cases in which the locale's decimal -- cgit v1.2.3