diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/user/config.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/docs/user/config.txt b/docs/user/config.txt index c5bdb6300..5fe169011 100644 --- a/docs/user/config.txt +++ b/docs/user/config.txt @@ -336,9 +336,9 @@ _`source_url` --no-source-link``. _`strict_visitor` - When processing a document tree with the Visitor pattern, ignore - raise an error if a writer does not support a nod types listed as - optional. For transitional development use. + When processing a document tree with the Visitor pattern, raise an + error if a writer does not support a node type listed as optional. + For transitional development use. Default: disabled (None). Option: ``--strict-visitor`` (hidden, for development use only). |