From 0be56041fb4ab4548a90164d64871ee5fa279e28 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 28 Feb 2021 13:03:10 +0530 Subject: [PATCH] Workaround for bug in newer versions of sphinx See https://github.com/sphinx-doc/sphinx/issues/8936 --- manual/custom.py | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/manual/custom.py b/manual/custom.py index 6db6316f78..e6eaf56f06 100644 --- a/manual/custom.py +++ b/manual/custom.py @@ -14,6 +14,16 @@ from epub import EPUBHelpBuilder from latex import LaTeXHelpBuilder +class FixedLaTeXHelpBuilder(LaTeXHelpBuilder): + # see https://github.com/sphinx-doc/sphinx/issues/8936 + + def visit_substitution_definition(self, node): + pass + + def depart_substitution_definition(self, node): + pass + + def substitute(app, doctree): pass @@ -375,7 +385,7 @@ def setup(app): setup_man_pages(app) app.add_css_file('custom.css') app.add_builder(EPUBHelpBuilder) - app.add_builder(LaTeXHelpBuilder) + app.add_builder(FixedLaTeXHelpBuilder) app.connect('source-read', source_read_handler) app.connect('doctree-read', substitute) app.connect('builder-inited', generate_docs)