#!/bin/bash if [ ! -e src/lombok/core/Version.java ]; then echo Run this script from the lombok project home directory. exit fi if [ ! -e dist/website.tar.bz2 ]; then echo There is no dist/website.tar.bz2 file! Run: echo ant website echo then restart this script exit fi mkdir -p build/temp || exit cd build/temp || exit git clone -l -n ../.. websitegit || exit cd websitegit || exit BRANCHOK="foo" git branch gh-pages origin/gh-pages || BRANCHOK="bar" if [ $BRANCHOK == "bar" ]; then echo If you get error fatal: Not a valid object name: origin/gh-pages. echo then run: git branch gh-pages origin/gh-pages echo first before running this script exit fi git checkout gh-pages || exit rm -r * || exit tar xfj ../../../dist/website.tar.bz2 || exit git add . || exit git commit -a -m website || exit git push origin gh-pages || exit cd .. || exit rm -rf websitegit || exit echo Your gh-pages branch has been updated. Do not forget to run: echo git push origin gh-pages