diff options
Diffstat (limited to 'sphinx/builders/devhelp.py')
| -rw-r--r-- | sphinx/builders/devhelp.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/sphinx/builders/devhelp.py b/sphinx/builders/devhelp.py index f1ed3a495..af8bcfeed 100644 --- a/sphinx/builders/devhelp.py +++ b/sphinx/builders/devhelp.py @@ -19,6 +19,7 @@ from os import path from docutils import nodes from sphinx import addnodes +from sphinx.util import logging from sphinx.util.osutil import make_filename from sphinx.builders.html import StandaloneHTMLBuilder @@ -33,6 +34,9 @@ if False: from sphinx.application import Sphinx # NOQA +logger = logging.getLogger(__name__) + + class DevhelpBuilder(StandaloneHTMLBuilder): """ Builder that also outputs GNOME Devhelp file. @@ -60,7 +64,7 @@ class DevhelpBuilder(StandaloneHTMLBuilder): def build_devhelp(self, outdir, outname): # type: (unicode, unicode) -> None - self.info('dumping devhelp index...') + logger.info('dumping devhelp index...') # Basic info root = etree.Element('book', |