Closed mlunoe closed 5 years ago
This PR makes it easier to release the docs manually by adding a command to do so. With this change, this command is also used in CI.
This PR makes it easier to release the docs manually by adding a command to do so. With this change, this command is also used in CI.