blob: 8eb546a9fc6421abcc7a2ab0220b7a12b36d4638 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/bin/sh
set -e
# Generates RDoc HTML and update gh-pages branch.
HEAD_DESCRIPTION=$(git describe --dirty --always --abbrev=12)
[ -d html ] &&
rm -r html
rake rdoc
[ ! -d tmp/gh-pages ] &&
git worktree add tmp/gh-pages gh-pages
(
cd tmp/gh-pages
git rm -r .
cp -r ../../html/* .
rm created.rid js/*.gz # to avoid unnecessary change :x
git add .
git commit -m "Sync with $HEAD_DESCRIPTION"
)
|