Install extension from pinned source

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 [email protected]:bame-da/sphinx-external-toc.git
+            cd sphinx-external-toc
+            git checkout 8a33082711c7ccf3472a9381f9c9eee474f71a2d
+            flit install
+            cd ..
+            rm -rf sphinx-external-toc
             python -m pip install sphinx_external_toc-0.3.1-py3-none-any.whl
           EOF
 

requirements.txt

@@ -2,3 +2,4 @@ Sphinx==4.3.1
 sphinx-autobuild==2021.3.14
 sphinx-copybutton==0.5.1
 sphinxext-remoteliteralinclude==0.4.0
+flit==3.8.0