From 00caf7bb1273410c195b325d0f4bf087058260d9 Mon Sep 17 00:00:00 2001
From: Thaddee Tyl <thaddee.tyl@gmail.com>
Date: Fri, 30 May 2014 21:17:45 +0200
Subject: [PATCH] Force a gh-pages update.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 23964da..b73c4fd 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@ deploy:
 	git reset HEAD~1
 	(git checkout -B gh-pages && \
 	git merge master && \
-	git push origin gh-pages:gh-pages) || git checkout master
+	git push -f origin gh-pages:gh-pages) || git checkout master
 	git checkout master
 
 setup: