From b2ee488769da462429855206a0070f6e687296f0 Mon Sep 17 00:00:00 2001
From: Simon Quigley <tsimonq2@ubuntu.com>
Date: Fri, 26 Aug 2016 22:16:28 -0500
Subject: [PATCH] Add publish script to run to update the gh-pages branch

---
 publish-pages.sh | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100755 publish-pages.sh

diff --git a/publish-pages.sh b/publish-pages.sh
new file mode 100755
index 00000000..34cb91d4
--- /dev/null
+++ b/publish-pages.sh
@@ -0,0 +1,16 @@
+#!/bin/bash
+
+rm -rf /tmp/temporary_html
+make html &&
+mv build/html/ /tmp/temporary_html &&
+make clean &&
+git checkout gh-pages &&
+rm -rf * &&
+mv /tmp/temporary_html/* . &&
+sed -i "s/_static/static/g" search.html genindex.html index.html _static/websupport.js
+find 1/ -type f -print0 | xargs -0 sed -i "s/_static/static/g" &&
+sed -i "s/_sources/sources/g" index.html _static/searchtools.js &&
+find 1/ -type f -print0 | xargs -0 sed -i "s/_sources/sources/g" &&
+mv _static/ static/ &&
+mv _sources/ sources/ &&
+echo "Complete, please inspect and push to the gh-pages branch on both Launchpad and GitHub"