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

:
---

diff --git a/Makefile b/Makefile
index 93d7fbc2..58679fa4 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ build: ensure
 book: build
 
 deploy: book
-	@git branch -r | grep gh-pages && git push origin :gh-pages || true
+	@(git branch -r | grep gh-pages && git push origin :gh-pages) || true
 	@git add -f book
 	@git commit -m "add book"
 	@git subtree push --prefix book origin gh-pages