From 8f4ec036e7b43a087386b26a5110937c7dcb70a6 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sat, 22 Feb 2020 18:47:46 +0530
Subject: [PATCH] Install sphinx via pip rather than brew

That's what brew advises
---
 .circleci/config.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index d734e16e1..87ba09187 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -82,7 +82,8 @@ jobs:
           LANG: en_US.UTF-8
       steps:
           - checkout
-          - run: brew install pkg-config imagemagick harfbuzz python sphinx-doc
+          - run: brew install pkg-config imagemagick harfbuzz python
+          - run: python3 -m pip install sphinx
           - run: python3 setup.py build --debug --verbose
           - run: ./kitty/launcher/kitty +launch test.py
           - run: echo "export PATH=/usr/local/opt/sphinx-doc/bin:$PATH" >> $BASH_ENV