blob: 45d8a764b5a8155ed7b0f74996c6847d9a11fe13 (
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
|
#!/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.zip ]; then
echo There is no dist/website.zip 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
git branch gh-pages origin/gh-pages || exit
git checkout gh-pages || exit
rm -r * || exit
tar xf ../../../dist/website.tar || 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
|
