X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Futilities.texi;h=95cfa25dd89d472c615461f51f4eabb1aa0299dc;hb=a86739f7fdb0a11a16f6c0a47c0e90773f134a53;hp=35ea20e2131d42cb4e660db4d29973a2a7408cea;hpb=ee7be3e962a4faba54d7bc01364365b51167242c;p=pspp-builds.git

diff --git a/doc/utilities.texi b/doc/utilities.texi
index 35ea20e2..95cfa25d 100644
--- a/doc/utilities.texi
+++ b/doc/utilities.texi
@@ -414,10 +414,13 @@ default.  Any real value may be assigned.
 
 @item DECIMAL
 @anchor{SET DECIMAL}
-The default DOT setting causes the decimal point character to be
-@samp{.} and the grouping character to be @samp{,}.  A setting of COMMA
+This value may be set to DOT or COMMA.
+Setting it to DOT causes the decimal point character to be
+@samp{.} and the grouping character to be @samp{,}.
+Setting it to COMMA
 causes the decimal point character to be @samp{,} and the grouping
 character to be @samp{.}.
+The default value is determined from the system locale.
 
 @item FORMAT
 Allows the default numeric input/output format to be specified.  The
@@ -784,4 +787,3 @@ on the output device.
 Specify a title as a string in quotes.  The alternate syntax that did
 not require quotes is now obsolete.  If it is used then the title is
 converted to all uppercase.
-@setfilename ignored