diff options
Diffstat (limited to 'sphinx/builders/html.py')
| -rw-r--r-- | sphinx/builders/html.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/builders/html.py b/sphinx/builders/html.py index 4a26eed86..6c2593ba1 100644 --- a/sphinx/builders/html.py +++ b/sphinx/builders/html.py @@ -31,10 +31,10 @@ from docutils.readers.doctree import Reader as DoctreeReader from sphinx import package_dir, __version__ from sphinx.util import SEP, os_path, relative_uri, ensuredir, \ movefile, ustrftime, copy_static_entry +from sphinx.errors import SphinxError from sphinx.search import js_index from sphinx.theming import Theme from sphinx.builders import Builder, ENV_PICKLE_FILENAME -from sphinx.application import SphinxError from sphinx.highlighting import PygmentsBridge from sphinx.util.console import bold from sphinx.writers.html import HTMLWriter, HTMLTranslator, \ |