I confirmed the previous RTD CI fix in the previous commit by pushing it to a draft PR before pushing this change and the RTD action failed with the warning this commit fixes. After pushing this commit, the RTD action succeeded. |
||
|---|---|---|
| .. | ||
| images | ||
| source | ||
| make.bat | ||
| Makefile | ||