Use bugfixed version of external toc plugin (#130)

This pulls a bugfixed version of the external_toc plugin and builds or installs it as part of the environment.

Author: bame-da

.circleci/config.yml

@@ -66,6 +66,12 @@ commands:
             python3 -m venv .python-env
             source .python-env/bin/activate
             python -m pip install -r requirements.txt
+            git clone git@github.com:bame-da/sphinx-external-toc.git
+            cd sphinx-external-toc
+            git checkout 8a33082711c7ccf3472a9381f9c9eee474f71a2d
+            flit install
+            cd ..
+            rm -rf sphinx-external-toc
           EOF
 
 jobs:

.envrc

@@ -12,7 +12,12 @@ source $pyenv/bin/activate
 PATH_add $pyenv/bin
 
 python -m pip install -r requirements.txt
-
+git clone git@github.com:bame-da/sphinx-external-toc.git
+cd sphinx-external-toc
+git checkout 8a33082711c7ccf3472a9381f9c9eee474f71a2d
+flit install
+cd ..
+rm -rf sphinx-external-toc
 [[ -f .envrc.private ]] && source_env .envrc.private
 
 watch_file requirements.txt

requirements.txt

@@ -1,5 +1,5 @@
 Sphinx==4.3.1
 sphinx-autobuild==2021.3.14
 sphinx-copybutton==0.5.1
-sphinx_external_toc==0.3.1
 sphinxext-remoteliteralinclude==0.4.0
+flit==3.8.0