From cde8b8346894ef1e6ef6c254bc79a3f5f3a2e580 Mon Sep 17 00:00:00 2001 From: William Deegan Date: Sat, 19 Aug 2017 21:50:43 -0700 Subject: Fix Bug #2486 - Allow SetOption('silent',True) - Previously this option could not be passed to SetOption --- doc/generated/functions.gen | 8 ++++++++ doc/generated/variables.gen | 4 ++-- 2 files changed, 10 insertions(+), 2 deletions(-) (limited to 'doc') diff --git a/doc/generated/functions.gen b/doc/generated/functions.gen index e72740a2..79a83c62 100644 --- a/doc/generated/functions.gen +++ b/doc/generated/functions.gen @@ -3998,6 +3998,14 @@ which corresponds to --random; and +silent + + +which corresponds to --silent. + + + + stack_size diff --git a/doc/generated/variables.gen b/doc/generated/variables.gen index 0ad4c96d..5bf39b84 100644 --- a/doc/generated/variables.gen +++ b/doc/generated/variables.gen @@ -3046,7 +3046,7 @@ The command line used to call the Java archive tool. The string displayed when the Java archive tool is called -If this is not set, then $JARCOM (the command line) is displayed. +If this is not set, then $JARCOM (the command line) is displayed. @@ -3056,7 +3056,7 @@ env = Environment(JARCOMSTR = "JARchiving $SOURCES into $TARGET") The string displayed when the Java archive tool is called -If this is not set, then $JARCOM (the command line) is displayed. +If this is not set, then $JARCOM (the command line) is displayed. -- cgit v1.2.1