Move the documentation publishing code to the build config so that people cannot PR and clobber our documentation...