X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fvariables.texi;fp=doc%2Fvariables.texi;h=68a996681d1db8830c4d256ab65c15ff2d701947;hb=4dc6293d51b59324286be41465587a72f133ea0b;hp=00a02be61341bb3047b4bf8431cff278c8508808;hpb=58a6b6748e5bc4e01f83960db505add573d336f2;p=pspp

diff --git a/doc/variables.texi b/doc/variables.texi
index 00a02be613..68a996681d 100644
--- a/doc/variables.texi
+++ b/doc/variables.texi
@@ -452,11 +452,16 @@ VALUE LABELS
         /@var{var_list} @var{value} '@var{label}' [@var{value} '@var{label}']@dots{}
 @end display
 
-@cmd{VALUE LABELS} allows values of numeric and short string
+@cmd{VALUE LABELS} allows values of
 variables to be associated with labels.  In this way, a short value can
-stand for a long value.
+stand for a longer, more descriptive label.
 
-To set up value labels for a set of variables, specify the
+Both numeric and string variables can be given labels.  For string
+variables, the values are case-sensitive, so that, for example, a
+capitalized value and its lowercase variant would have to be labeled
+separately if both are present in the data.
+
+To set up value labels for one or more variables, specify the
 variable names after a slash (@samp{/}), followed by a list of values
 and their associated labels, separated by spaces.