From c50e4c2ed65b8da60f2743a972063c98f40cf3a6 Mon Sep 17 00:00:00 2001
From: Reinier Zwitserloot <reinier@tipit.to>
Date: Fri, 17 Jul 2009 22:22:18 +0200
Subject: Added a script that publishes the website dir to github via some
 crazy git fu.

Also stripped out how javadoc generated a comment with a timestamp, as to publish to github, we check in the files, which generates pointless and enormous changesets.
---
 website/publish | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)
 create mode 100755 website/publish

(limited to 'website')

diff --git a/website/publish b/website/publish
new file mode 100755
index 00000000..4894c4e7
--- /dev/null
+++ b/website/publish
@@ -0,0 +1,33 @@
+#!/bin/bash
+
+CURDIR=`pwd`
+
+
+cd `dirname $0` || exit
+cd .. || exit
+
+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
+unzip ../../../dist/website.zip || exit
+git add . || exit
+git commit -a -m website || exit
+git push origin gh-pages || exit
+cd .. || exit
+rm -rf websitegit || exit
+
+cd "$CURDIR"
+
+echo Your gh-pages branch has been updated. Do not forget to run:
+echo git push origin gh-pages
-- 
cgit