aboutsummaryrefslogtreecommitdiff
path: root/website/publish
blob: 412c71f6fd653da9f6e3e8c5665ee02f1a908cb7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
#!/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