From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 16 Mar 2013 20:02:13 +0000 (+0100)
Subject: Documentation:  Mention the units of the WORKSPACE setting
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2953d013d086478bbf5914c66c9ddf16a5df9f97;p=pspp

Documentation:  Mention the units of the WORKSPACE setting
---

diff --git a/doc/utilities.texi b/doc/utilities.texi
index cfbafccb22..4423080f1b 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 bytes) 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,