Fix settings for documentation publishing. #1444
Labels
in: documentation
Reference documentation
in: infrastructure
Build infrastructure and dependency upgrades
type: bug
Milestone
Fix the bug hindering documentation release.
The text was updated successfully, but these errors were encountered: