From d0a01f80dd8ae491c845bd997c7930548692334b Mon Sep 17 00:00:00 2001
From: Stefan van der Walt <stefan@sun.ac.za>
Date: Sun, 4 Oct 2009 12:44:30 +0200
Subject: [PATCH] Only update gh-pages branch when committing new docs.

---
 doc/push_github | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/push_github b/doc/push_github
index 4f28588b..1be77529 100755
--- a/doc/push_github
+++ b/doc/push_github
@@ -32,6 +32,6 @@ echo "*** Press enter to continue."
 read
 
 git commit -m "Update docs."
-git push origin
+git push origin gh-pages
 git co $branch