diff options
| author | danieleades <33452915+danieleades@users.noreply.github.com> | 2022-07-18 22:08:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-18 22:08:16 +0100 |
| commit | a504ac6100a577cbda1bedf80d69636603ee287c (patch) | |
| tree | 0aa79585440486bdb109f7238f8f5c992dad0d99 /sphinx/directives/other.py | |
| parent | a340427ba4d208193d539cb7e8401be23d75547e (diff) | |
| download | sphinx-git-a504ac6100a577cbda1bedf80d69636603ee287c.tar.gz | |
Improve static typing strictness (#10569)
Diffstat (limited to 'sphinx/directives/other.py')
| -rw-r--r-- | sphinx/directives/other.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/directives/other.py b/sphinx/directives/other.py index 38a332674..de2427d46 100644 --- a/sphinx/directives/other.py +++ b/sphinx/directives/other.py @@ -119,7 +119,7 @@ class TocTree(SphinxDirective): if url_re.match(ref) or ref == 'self': toctree['entries'].append((title, ref)) elif docname not in self.env.found_docs: - if excluded(self.env.doc2path(docname, None)): + if excluded(self.env.doc2path(docname, False)): message = __('toctree contains reference to excluded document %r') subtype = 'excluded' else: |