diff options
| -rw-r--r-- | doc/user/environments.in | 2 | ||||
| -rw-r--r-- | doc/user/environments.xml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/user/environments.in b/doc/user/environments.in index 0e53363..6672ea7 100644 --- a/doc/user/environments.in +++ b/doc/user/environments.in @@ -794,7 +794,7 @@ environment, of directory names, suffixes, etc. This default behaviour can be changed using the &AllowSubstExceptions; function. When a problem occurs with a variable expansion it generates - an exception, and the &AllowSubstException; function controls + an exception, and the &AllowSubstExceptions; function controls which of these exceptions are actually fatal and which are allowed to occur safely. By default, &NameError; and &IndexError; are the two exceptions that are allowed to occur: so instead of diff --git a/doc/user/environments.xml b/doc/user/environments.xml index 2bc43f5..6970a92 100644 --- a/doc/user/environments.xml +++ b/doc/user/environments.xml @@ -794,7 +794,7 @@ environment, of directory names, suffixes, etc. This default behaviour can be changed using the &AllowSubstExceptions; function. When a problem occurs with a variable expansion it generates - an exception, and the &AllowSubstException; function controls + an exception, and the &AllowSubstExceptions; function controls which of these exceptions are actually fatal and which are allowed to occur safely. By default, &NameError; and &IndexError; are the two exceptions that are allowed to occur: so instead of |