X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Futilities.texi;h=158177b6884f6435e006099722643f66e5082e5b;hb=refs%2Fbuilds%2F20140120030503%2Fpspp;hp=cfbafccb223de06cc47737f096ee05f1dc0ea82c;hpb=ac9ad68f886cc67c0f2ec144c2bfcb148031d452;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,