Slide 76
Slide 76 text
# sphinx/environment.py
def update(self, config, srcdir, doctreedir, app):
reader = SphinxStandaloneReader(parsers=self.config.source_parsers)
pub = Publisher(reader=reader,
writer=SphinxDummyWriter(),
destination_class=NullOutput)
source = SphinxFileInput(app, self, source=None, source_path=src_path,
encoding=self.config.source_encoding)
pub.publish()
doctree = pub.document
doctree_filename = self.doc2path(docname, self.doctreedir,
'.doctree')
dirname = path.dirname(doctree_filename)
if not path.isdir(dirname):
os.makedirs(dirname)
f = open(doctree_filename, 'wb')
pickle.dump(doctree, f, pickle.HIGHEST_PROTOCOL)
Sphinx Environment