summaryrefslogtreecommitdiff
path: root/sphinx/project.py
diff options
context:
space:
mode:
authorjfbu <jfbu@free.fr>2019-08-01 17:49:24 +0200
committerjfbu <jfbu@free.fr>2019-08-01 17:49:24 +0200
commit685e3fdb49c42b464e09ec955e1033e2a8729fff (patch)
treea7ad90fbd9c2a076575f612caf0d6baa7c4fb555 /sphinx/project.py
parenteeca5ee91d2da817d4ad9e920ad7e4cabd966d08 (diff)
parent5a86a71a8fe6d4e8c3861f755cc9b05b5b10f0cf (diff)
downloadsphinx-git-685e3fdb49c42b464e09ec955e1033e2a8729fff.tar.gz
Merge branch '2.0'
Diffstat (limited to 'sphinx/project.py')
-rw-r--r--sphinx/project.py5
1 files changed, 3 insertions, 2 deletions
diff --git a/sphinx/project.py b/sphinx/project.py
index 8e2e7330a..81d2b43e0 100644
--- a/sphinx/project.py
+++ b/sphinx/project.py
@@ -9,7 +9,6 @@
"""
import os
-from typing import TYPE_CHECKING
from sphinx.locale import __
from sphinx.util import get_matching_files
@@ -17,9 +16,11 @@ from sphinx.util import logging
from sphinx.util.matching import compile_matchers
from sphinx.util.osutil import SEP, relpath
-if TYPE_CHECKING:
+if False:
+ # For type annotation
from typing import Dict, List, Set # NOQA
+
logger = logging.getLogger(__name__)
EXCLUDE_PATHS = ['**/_sources', '.#*', '**/.#*', '*.lproj/**']