diff options
Diffstat (limited to 'sphinx/environment.py')
| -rw-r--r-- | sphinx/environment.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/environment.py b/sphinx/environment.py index 6deea1d5d..de2b24306 100644 --- a/sphinx/environment.py +++ b/sphinx/environment.py @@ -44,8 +44,8 @@ from docutils.transforms.parts import ContentsFilter from sphinx import addnodes from sphinx.util import movefile, get_matching_docs, SEP, ustrftime, \ docname_join, FilenameUniqDict, url_re +from sphinx.errors import SphinxError from sphinx.directives import additional_xref_types -from sphinx.application import SphinxError default_settings = { 'embed_stylesheet': False, |