Fix the GitHub pages publication routine