From 6fef904e2395ce278a9a1729f81d7116af0ddfd2 Mon Sep 17 00:00:00 2001
From: Simon Quigley <tsimonq2@ubuntu.com>
Date: Mon, 22 Jan 2018 15:47:56 -0600
Subject: [PATCH] That publish-pages script is horrible and hacky, be gone!

---
 publish-pages.sh | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100755 publish-pages.sh

diff --git a/publish-pages.sh b/publish-pages.sh
deleted file mode 100755
index 34cb91d4..00000000
--- a/publish-pages.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/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"