From 8ef76540d315bfb17ef1c263ea11db880a3503de Mon Sep 17 00:00:00 2001
From: James Mitchell <jdm3@st-andrews.ac.uk>
Date: Wed, 25 May 2016 18:43:39 +0100
Subject: [PATCH] Ignore gh-pages/*

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitignore b/.gitignore
index 9e081c364..375e48a81 100644
--- a/.gitignore
+++ b/.gitignore
@@ -32,3 +32,4 @@ config.log
 libtool
 bin/x86_64-apple-darwin*.*.*-clang-default64
 bin/x86_64-apple-darwin*.*.*-gcc-default64
+gh-pages/*