diff options
Diffstat (limited to 'testing/kitty/py3.patch')
| -rw-r--r-- | testing/kitty/py3.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testing/kitty/py3.patch b/testing/kitty/py3.patch new file mode 100644 index 0000000000..0634882156 --- /dev/null +++ b/testing/kitty/py3.patch @@ -0,0 +1,14 @@ +diff --git a/docs/Makefile b/docs/Makefile +index 2e07b01..4f77cc3 100644 +--- a/docs/Makefile ++++ b/docs/Makefile +@@ -3,7 +3,7 @@ + + # You can set these variables from the command line. + SPHINXOPTS = -j auto -T $(FAIL_WARN) +-SPHINXBUILD = sphinx-build ++SPHINXBUILD = sphinx-build-3 + SPHINXPROJ = kitty + SOURCEDIR = . + BUILDDIR = _build + |