Fix if syntax in push-to-github-pages.sh