[m-dev.] diff: heap and stack documentation bug

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.25

Fix documentation bug.

doc/user_guide.texi:
    The wrong option names were given for setting the heap, and the det and
    nondet stacks sizes.


Index: user_guide.texi
===================================================================
RCS file: /home/staff/zs/imp/mercury/doc/user_guide.texi,v
retrieving revision 1.188
diff -u -r1.188 user_guide.texi
--- user_guide.texi	1999/10/21 14:36:35	1.188
+++ user_guide.texi	1999/10/25 04:53:01
@@ -326,7 +326,8 @@
 The det stack and the nondet stack
 are allocated fixed sizes at program start-up.
 The default size is 512k for the det stack and 128k for the nondet stack,
-but these can be overridden with the @samp{-sd} and @samp{-sn} options,
+but these can be overridden with the
+ at samp{--detstack-size} and @samp{--nondetstack-size} options,
 whose arguments are the desired sizes of the det and nondet stacks
 respectively, in units of kilobytes.
 On operating systems that provide the appropriate support,
@@ -339,7 +340,7 @@
 When not using conservative garbage collection,
 the heap has a fixed size like the stacks.
 The default size is 4 Mb, but this can be overridden
-with the @samp{-sh} option.
+with the @samp{--heap-size} option.
 
 @node Using Mmake
 @chapter Using Mmake

----
 +----------------------------------------------------------------------+
 | Peter Ross      M Sci/Eng Melbourne Uni                              |
 | petdr at cs.mu.oz.au  WWW: www.cs.mu.oz.au/~petdr/ ph: +61 3 9344 9158  |
 +----------------------------------------------------------------------+
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------