Fix building the developer documentation on the `develop` branch.