diff --git a/docs/conf.py b/docs/conf.py index 479b29e30..19c614c71 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -22,8 +22,11 @@ from pygments.token import ( # type: ignore Comment, Keyword, Literal, Name, Number, String, Whitespace ) from sphinx import addnodes, version_info # type: ignore +from sphinx.builders.html.transforms import KeyboardTransform # type: ignore from sphinx.util.logging import getLogger # type: ignore +KeyboardTransform.builders = ('html', 'dirhtml') # type: ignore + kitty_src = os.path.dirname(os.path.dirname(os.path.abspath(__file__))) if kitty_src not in sys.path: sys.path.insert(0, kitty_src)