From d8455804e9b2dea7f8c8c81349513f3e60aa5efe Mon Sep 17 00:00:00 2001
From: Aaron Griffith <aargri@gmail.com>
Date: Tue, 1 Nov 2011 23:19:27 -0400
Subject: [PATCH] added docs for --stochastic-render (woops)

---
 docs/options.rst | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/docs/options.rst b/docs/options.rst
index a8f00a3..0046be9 100644
--- a/docs/options.rst
+++ b/docs/options.rst
@@ -303,6 +303,19 @@ Less Useful Options
 
         Default: False
 
+.. cmdoption:: --stochastic-render <probability>
+
+    Provides a probability that a non-updated tile will be rerendered
+    anyway. Use this if there's a new rendering feature you want to
+    use, but you don't want to rerender the entire map at once.
+
+    **Settings file:**
+        Option name: ``stochastic_render``
+
+        Format: a floating-point number
+
+        Default: 0.0
+
 .. cmdoption:: --textures-path <path>
 
     Use this option to specify an alternate terrain.png to use for textures when