diff options
author | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-07-21 11:25:54 +0900 |
---|---|---|
committer | Takeshi KOMIYA <i.tkomiya@gmail.com> | 2018-07-21 13:54:51 +0900 |
commit | f3019ee1974fda0722a71c8159ab97c4e78779dd (patch) | |
tree | 867421e8dc7ce0a154deb479b378823067ca8147 /sphinx/builders/html.py | |
parent | 4f296c5e6789292bbacd0558c2d671fa5025d580 (diff) | |
download | sphinx-git-f3019ee1974fda0722a71c8159ab97c4e78779dd.tar.gz |
Apply :confval:`trim_doctest_flags` to all builders (cf. text, manpages)
Diffstat (limited to 'sphinx/builders/html.py')
-rw-r--r-- | sphinx/builders/html.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sphinx/builders/html.py b/sphinx/builders/html.py index 16587fd18..67107ba0a 100644 --- a/sphinx/builders/html.py +++ b/sphinx/builders/html.py @@ -386,8 +386,7 @@ class StandaloneHTMLBuilder(Builder): style = self.theme.get_config('theme', 'pygments_style', 'none') else: style = 'sphinx' - self.highlighter = PygmentsBridge('html', style, - self.config.trim_doctest_flags) + self.highlighter = PygmentsBridge('html', style) def init_css_files(self): # type: () -> None |