diff options
author | jfbu <jfbu@free.fr> | 2019-08-01 17:49:24 +0200 |
---|---|---|
committer | jfbu <jfbu@free.fr> | 2019-08-01 17:49:24 +0200 |
commit | 685e3fdb49c42b464e09ec955e1033e2a8729fff (patch) | |
tree | a7ad90fbd9c2a076575f612caf0d6baa7c4fb555 /sphinx/builders/xml.py | |
parent | eeca5ee91d2da817d4ad9e920ad7e4cabd966d08 (diff) | |
parent | 5a86a71a8fe6d4e8c3861f755cc9b05b5b10f0cf (diff) | |
download | sphinx-git-685e3fdb49c42b464e09ec955e1033e2a8729fff.tar.gz |
Merge branch '2.0'
Diffstat (limited to 'sphinx/builders/xml.py')
-rw-r--r-- | sphinx/builders/xml.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/sphinx/builders/xml.py b/sphinx/builders/xml.py index 4aaa0811d..a9f8bfc2c 100644 --- a/sphinx/builders/xml.py +++ b/sphinx/builders/xml.py @@ -9,7 +9,7 @@ """ from os import path -from typing import Any, Dict, Iterator, Set, Type, Union +from typing import Any, Dict, Iterator, Set, Union from docutils import nodes from docutils.io import StringOutput @@ -23,6 +23,11 @@ from sphinx.util import logging from sphinx.util.osutil import ensuredir, os_path from sphinx.writers.xml import XMLWriter, PseudoXMLWriter +if False: + # For type annotation + from typing import Type # for python3.5.1 + + logger = logging.getLogger(__name__) |