diff --git a/doc/_extensions/odoo/__init__.py b/doc/_extensions/odoo/__init__.py index 125c2f55afb..e2600d744df 100644 --- a/doc/_extensions/odoo/__init__.py +++ b/doc/_extensions/odoo/__init__.py @@ -1,13 +1,15 @@ # -*- coding: utf-8 -*- -from . import switcher from . import pygments_override -import collections +from . import switcher +from . import translator import sphinx.environment import sphinx.builders.html from docutils import nodes def setup(app): + app.set_translator('html', translator.BootstrapTranslator) + switcher.setup(app) app.add_config_value('odoo_cover_default', None, 'env') app.add_config_value('odoo_cover_external', {}, 'env') diff --git a/doc/_extensions/odoo/layout.html b/doc/_extensions/odoo/layout.html index 0f9661ba6de..c14eab647eb 100644 --- a/doc/_extensions/odoo/layout.html +++ b/doc/_extensions/odoo/layout.html @@ -46,7 +46,7 @@ {%- block header -%}
- +