Use local bugfixed version of external toc plugin

bame-da · bame-da · commit e16887febfe6 · 2023-01-25T13:45:03.000+01:00
diff --git a/.envrc b/.envrc
@@ -12,6 +12,7 @@ source $pyenv/bin/activate
 PATH_add $pyenv/bin
 
 python -m pip install -r requirements.txt
+python -m pip install sphinx_external_toc-0.3.1-py3-none-any.whl
 
 [[ -f .envrc.private ]] && source_env .envrc.private
 
diff --git a/requirements.txt b/requirements.txt
@@ -1,5 +1,4 @@
 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
diff --git a/sphinx_external_toc-0.3.1-py3-none-any.whl b/sphinx_external_toc-0.3.1-py3-none-any.whl
