Update readthedocs setup for building manual
mikkonie opened this issue · comments
It seems something's happend over at readthedocs and the dev manual is not getting rebuilt on each commit. I'm on it.
Secret updated for readthedocs integration, let's see during the next dev push if it works as expected.
Confirmed to be working, closing.