Fix auto-publishing of documentation

What it says, this still isn't quite working right! We need GitHub Actions to fully publish and release documentation when code is accepted.