X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Futilities.texi;h=2d22f2bba77763eb1757444e9345a33b0bd25bee;hb=33ceb3560851d7164012ed9d0cbe1f31ab9bbb87;hp=ea7f555ebb410d0fc9208cb41e6640d28a33c02f;hpb=55178119a1dd305b7e0c3254cf5b6ddf6784e34f;p=pspp

diff --git a/doc/utilities.texi b/doc/utilities.texi
index ea7f555ebb..2d22f2bba7 100644
--- a/doc/utilities.texi
+++ b/doc/utilities.texi
@@ -517,6 +517,8 @@ Setting it to @subcmd{DOT} causes the decimal point character to be
 Setting it to @subcmd{COMMA}
 causes the decimal point character to be @samp{,} and the grouping
 character to be @samp{.}.
+If the setting is @subcmd{COMMA}, then @samp{,} will not be treated
+as a field separator in the @cmd{DATA LIST} command (@pxref{DATA LIST}).
 The default value is determined from the system locale.
 
 @item FORMAT