X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Futilities.texi;h=158177b6884f6435e006099722643f66e5082e5b;hb=fdd4179ed855d20d35d7cfdb052dd4569f3b7789;hp=4423080f1bcc353457afa93935b5f956f36dd0e6;hpb=2953d013d086478bbf5914c66c9ddf16a5df9f97;p=pspp diff --git a/doc/utilities.texi b/doc/utilities.texi index 4423080f1b..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 (in bytes) 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,