diff options
Diffstat (limited to 'testing/kitty/py3.patch')
| -rw-r--r-- | testing/kitty/py3.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/testing/kitty/py3.patch b/testing/kitty/py3.patch deleted file mode 100644 index 0634882156..0000000000 --- a/testing/kitty/py3.patch +++ /dev/null @@ -1,14 +0,0 @@ -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 - |