diff --git a/doc/_extensions/html_domain.py b/doc/_extensions/html_domain.py
index 4b0f18a9b82..75d3c6e1127 100644
--- a/doc/_extensions/html_domain.py
+++ b/doc/_extensions/html_domain.py
@@ -13,6 +13,7 @@ from docutils import nodes, utils
from docutils.parsers.rst import Directive, directives
from docutils.parsers.rst.directives.body import LineBlock
+import sphinx
import sphinx.roles
from sphinx.domains import Domain
@@ -21,10 +22,12 @@ def setup(app):
app.add_node(div, html=(
lambda self, node: self.body.append(self.starttag(node, 'div')),
lambda self, node: self.body.append('\n')))
+ # override parameter was added for version sphinx >= 1.4, TypeError before
+ kw = {'override': True} if sphinx.version_info >= (1, 4) else {}
app.add_node(address, html=(
lambda self, node: self.body.append(self.starttag(node, 'address')),
lambda self, node: self.body.append('\n')
- ), override=True) # docutils.nodes.address exists and is a bibliographic element
+ ), **kw) # docutils.nodes.address exists and is a bibliographic element
app.add_node(cite, html=(visit_cite, depart_cite))
for name, node in [('mark', mark), ('ins', insert), ('del', delete),
('s', strikethrough), ('u', underline), ('small', small),