set -ev
URL="java_properties"
HTML="<!DOCTYPE html>
<link rel='canonical' href='${URL}'>
<meta http-equiv='refresh' content='0; url=${URL}'>
<script>window.location='${URL}'</script>"
echo "${HTML}" > target/doc/index.html
export PYTHONUSERBASE="${HOME}/.local"
pip install ghp-import --user
${PYTHONUSERBASE}/bin/ghp-import -m 'Update the documentation' -n target/doc
git push -qf git@github.com:adamcrume/java-properties.git gh-pages