[FIX] _extension: build with sphinx 1.8

Backport odoo/documentation-user@1b2cbd5b88
This commit is contained in:
Martin Trigaux 2018-09-26 16:19:01 +02:00 committed by Richard Mathot
parent 5104b77505
commit c208c962a1
No known key found for this signature in database
GPG Key ID: A7A432464AA3F482

View File

@ -98,7 +98,7 @@ def add_doc_link(app, pagename, templatename, context, doctree):
# in Sphinx 1.3 it's possible to have mutliple source suffixes and that # in Sphinx 1.3 it's possible to have mutliple source suffixes and that
# may be useful in the future # may be useful in the future
source_suffix = app.config.source_suffix source_suffix = app.config.source_suffix
source_suffix = source_suffix if isinstance(source_suffix, basestring) else source_suffix[0] source_suffix = next(iter(source_suffix))
# FIXME: odoo/odoo has a doc/ prefix which is incorrect for this # FIXME: odoo/odoo has a doc/ prefix which is incorrect for this
# project, how to unify? Add new setting? # project, how to unify? Add new setting?
context['github_link'] = lambda mode='edit': make_github_link( context['github_link'] = lambda mode='edit': make_github_link(