From d113ebd3f8c62e7d0e6220006df362080eb7bc21 Mon Sep 17 00:00:00 2001
From: ervandew <ervandew@gmail.com>
Date: Sat, 25 Jul 2015 18:08:09 -0600
Subject: [PATCH] update docs to support publishing to github pages

---
 .gitignore     |  1 +
 ant/build.gant | 10 +++++++++-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index ccaee4b05..2290895e2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -5,6 +5,7 @@
 /.cache
 /.ropeproject
 /build
+/gh-pages
 /org.eclim/nailgun/config.log
 /org.eclim/nailgun/config.status
 /org.eclim/nailgun/Makefile
diff --git a/ant/build.gant b/ant/build.gant
index 4b4c80403..9a1258bac 100644
--- a/ant/build.gant
+++ b/ant/build.gant
@@ -1,5 +1,5 @@
 /**
- * Copyright (C) 2005 - 2014  Eric Van Dewoestine
+ * Copyright (C) 2005 - 2015  Eric Van Dewoestine
  *
  * This program is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License as published by
@@ -577,6 +577,14 @@ target(name: 'docs'){
     match: '(href|src)="(?!/|https?:)',
     replace: '\\1="/',
     flags: 'g')
+
+  // sync to github pages repo/branch if it exists
+  if (new File("${basedir}/gh-pages").exists()){
+    sync(todir: 'gh-pages', overwrite: true){
+      fileset(dir: 'build/doc/site')
+      preserveintarget{ include(name: '.git/**/*') }
+    }
+  }
 }
 
 target(name: 'vimdocs'){