Add tool/update-gh-pages

A shell script to generate RDoc HTML and update gh-pages branch.

1 files changed, 22 insertions, 0 deletions

diff --git a/tool/update-gh-pages b/tool/update-gh-pages
new file mode 100755
index 00000000..8eb546a9
--- /dev/null
+++ b/tool/update-gh-pages
@@ -0,0 +1,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"
+)