Open Bjwebb opened 9 months ago
I will also set up redirects from the old to the new, as described at https://docs.readthedocs.io/en/stable/user-defined-redirects.html#changing-your-sphinx-builder-from-html-to-dirhtml
I will also set up redirects from the old to the new, as described at https://docs.readthedocs.io/en/stable/user-defined-redirects.html#changing-your-sphinx-builder-from-html-to-dirhtml