diff options
Diffstat (limited to 'doc/man/scons.xml')
-rw-r--r-- | doc/man/scons.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man/scons.xml b/doc/man/scons.xml index 58d4327..602bdbe 100644 --- a/doc/man/scons.xml +++ b/doc/man/scons.xml @@ -4126,7 +4126,7 @@ case-insensitive. If the value of <emphasis>ignore_case</emphasis> is -<literal>1</literal>, +<literal>2</literal>, then values will be matched case-insensitive, and all input values will be |