reanimate readthedocs? #225
Description
Currently https://cysignals.readthedocs.io/en/latest/ is at revision d673965 - from 2021.
Should we revive it? I've meanwhile fixed docbulding in doc/ (it was broken after VERSION was removed)
{{ message }}
Currently https://cysignals.readthedocs.io/en/latest/ is at revision d673965 - from 2021.
Should we revive it? I've meanwhile fixed docbulding in doc/ (it was broken after VERSION was removed)