diff --git a/docs/build.rst b/docs/build.rst index 9a3c4c3b1..93e7ad175 100644 --- a/docs/build.rst +++ b/docs/build.rst @@ -11,11 +11,14 @@ the following dependencies are installed first. .. note:: - If you are making changes only to the python parts of kitty, there is no need to + If you are making small changes only to the python parts of kitty, there is no need to build kitty at all, instead, assuming you have installed the official kitty binaries, you can simply set the KITTY_DEVELOP_FROM enviroment variable to point to the directory into which you have checked out the kitty source - code. kitty will then load its python code from there. + code. kitty will then load its python code from there. You should use a + version of the source that matches the binary version as closely as + possible, since the two are tightly coupled. + Dependencies ----------------