Cog-Creators/Red-DiscordBot

Fix docs building
#3263

mikeshardmind wants to merge mikeshardmind:docs-fix into Cog-Creators:V3/develop

Compare on GitHub

We do not currently have an analysis of these two commits