Use local bugfixed version of external toc plugin

[bame-da]

This pulls in executablebooks/sphinx-external-toc#88 and thus enables live-preview of ToC title changes.

[garyverhaegen-da]

Very unenthused by the addition of an opaque binary file like that. How was it produced?

[bame-da]

flit build on executablebooks/sphinx-external-toc#88.
We could checkout the code pointing to a commit hash so I can't modify it anymore, and run python -m pip install flint && flint install to install from source.

[garyverhaegen-da]

flit build on executablebooks/sphinx-external-toc#88.
We could checkout the code pointing to a commit hash so I can't modify it anymore, and run python -m pip install flint && flint install to install from source.

I'd prefer that, yes, especially if there's a relatively easy way to do that within .envrc directly, with some way to check whether it needs to be done (i.e. it's been done already).

[bame-da]

@garyverhaegen-da I gave it a shot, but I do use direnv... Does this work for you?

[garyverhaegen-da]

@garyverhaegen-da I gave it a shot, but I do use direnv... Does this work for you?

Yes, that's pretty much what I had in mind, sorry if I wasn't clear.