X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Futilities.texi;h=2d22f2bba77763eb1757444e9345a33b0bd25bee;hb=3eabe1e0eed831505e878deb41a283f489a33f2d;hp=ea7f555ebb410d0fc9208cb41e6640d28a33c02f;hpb=81f50c24cae1f7b007c38b763c06ccc766333c81;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