aboutsummaryrefslogtreecommitdiff
path: root/docs/CommandGuide
diff options
context:
space:
mode:
Diffstat (limited to 'docs/CommandGuide')
-rw-r--r--docs/CommandGuide/llc.html3
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/CommandGuide/llc.html b/docs/CommandGuide/llc.html
index 87af128504..08cae51429 100644
--- a/docs/CommandGuide/llc.html
+++ b/docs/CommandGuide/llc.html
@@ -164,6 +164,9 @@ OPTIONS
Valid spillers are:
<p>
<dl compact>
+ <dt> simple </dt>
+ <dd>Simple spiller</dd>
+
<dt> local </dt>
<dd>Local spiller</dd>
</dl>