IntenseWebs/sphinx
3
0
Fork 0
mirror of https://github.com/sphinx-doc/sphinx.git synced 2025-02-25 18:55:22 -06:00
Code Issues Packages Projects Releases Wiki Activity

Fix the serializing builder.

Browse Source
This commit is contained in:
Georg Brandl 2009-01-11 14:28:34 +01:00
parent aaf94d4778
commit 382e069637
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
sphinx/builders/html.py
View File

@ -64,6 +64,7 @@ class StandaloneHTMLBuilder(Builder):
def init(self): def init(self):
self.init_templates() self.init_templates()
self.init_highlighter()
self.init_translator_class() self.init_translator_class()
if self.config.html_file_suffix: if self.config.html_file_suffix:
self.out_suffix = self.config.html_file_suffix self.out_suffix = self.config.html_file_suffix
@ -79,6 +80,7 @@ class StandaloneHTMLBuilder(Builder):
if path.isfile(jsfile): if path.isfile(jsfile):
self.script_files.append('_static/translations.js') self.script_files.append('_static/translations.js')
def init_highlighter(self):
# determine Pygments style and create the highlighter # determine Pygments style and create the highlighter
if self.config.pygments_style is not None: if self.config.pygments_style is not None:
style = self.config.pygments_style style = self.config.pygments_style
@ -600,6 +602,7 @@ class SerializingHTMLBuilder(StandaloneHTMLBuilder):
def init(self): def init(self):
self.init_translator_class() self.init_translator_class()
self.init_highlighter()
self.templates = None # no template bridge necessary self.templates = None # no template bridge necessary
def get_target_uri(self, docname, typ=None): def get_target_uri(self, docname, typ=None):