X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Futilities.texi;h=158177b6884f6435e006099722643f66e5082e5b;hb=7e413bbdf7b01f2ff0153c8cbf79c2e4fa71f4d5;hp=cfbafccb223de06cc47737f096ee05f1dc0ea82c;hpb=ea17c5b225557fc0760810861451a84dc241d462;p=pspp

diff --git a/doc/utilities.texi b/doc/utilities.texi
index cfbafccb22..158177b688 100644
--- a/doc/utilities.texi
+++ b/doc/utilities.texi
@@ -606,7 +606,7 @@ RANDOM, which will obtain an initial seed from the current time of day.
 Currently not used.
 
 @item WORKSPACE
-The maximum amount of memory that @pspp{} will use to store data being processed.
+The maximum amount of memory (in kilobytes) that @pspp{} will use to store data being processed.
 If memory in excess of the workspace size is required, then @pspp{} will start
 to use temporary files to store the data.
 Setting a higher value will, in general, mean procedures will run faster,