search

executablebooks / sphinx-proof

A Sphinx extension for producing proof, theorem, lemma, definition, remark, conjecture, corollary and algorithm directives.
https://sphinx-proof.readthedocs.io/en/latest/
MIT License
32 stars 17 forks source link

MAINT: fix RTD #107

Closed mmcky closed 4 months ago

mmcky commented 4 months ago

This PR updates the .readthedocs.yml configuration to fix builds on rtd

mmcky commented 4 months ago

@agoose77 this is a minor configuration change to fix https://readthedocs.org/projects/sphinx-proof/.

I will go ahead and merge.