Closed 2bndy5 closed 1 year ago
This is okay, but it would be good to also submit it as a PR to sphinxcontrib-details-directive.
Looks good to me.
I pinged the author directly in the open issue I have for that repo. Hopefully, a PR would be welcome.
Fixes #184 by adding the
dirhtml
builder in our monkeypatch of the sphinxcontrib-details-directive extension.