From f8db5c5f94e1f3dd50ec2ba0588fdf56af0bee2f Mon Sep 17 00:00:00 2001
From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Mon, 11 Nov 2019 00:39:33 +0100
Subject: [PATCH] :

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

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
-- 
2.43.0