changeset 1004:26d6cdcbd677

Reference VIFF_SEED in documentation.
author Martin Geisler <mg@daimi.au.dk>
date Fri, 24 Oct 2008 13:06:03 +0200
parents 4c341ec05420
children 8b46d76bdc75
files doc/util.txt
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/doc/util.txt	Fri Oct 24 13:00:29 2008 +0200
+++ b/doc/util.txt	Fri Oct 24 13:06:03 2008 +0200
@@ -5,7 +5,7 @@
 .. automodule:: viff.util
    :members:
 
-   .. envvar:: SEED
+   .. envvar:: VIFF_SEED
 
       The :data:`rand` random generator is seeded using this
       environment variable, if it is defined.
@@ -16,10 +16,10 @@
       randomness needed.
 
       The generator is by default initialized with a random seed,
-      unless the environment variable :envvar:`SEED` is set to a
+      unless the environment variable :envvar:`VIFF_SEED` is set to a
       value, in which case that value is used instead. If
-      :envvar:`SEED` is defined, but empty, then no seed is used and a
-      protocol run cannot be reproduced exactly.
+      :envvar:`VIFF_SEED` is defined, but empty, then no seed is used
+      and a protocol run cannot be reproduced exactly.
 
    .. envvar:: VIFF_NO_WRAP