From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Sun, 10 Nov 2019 23:39:33 +0000 (+0100)
Subject: :
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=f8db5c5f94e1f3dd50ec2ba0588fdf56af0bee2f;p=gwion.git

:
---

diff --git a/Makefile b/Makefile
index 0dc5f9b3..2c38b392 100644
--- a/Makefile
+++ b/Makefile
@@ -7,6 +7,7 @@ build: ensure
 book: build
 
 deploy: book
+	@git push origin :gh-pages || true
 	@git add -f book
 	@git commit -m "add book"
 	@git subtree push --prefix book origin gh-pages