From d3e4e81fafbdf24604924ce34c70c511c0531301 Mon Sep 17 00:00:00 2001
From: Markus Heiser <markus.heiser@darmarit.de>
Date: Sun, 22 Dec 2019 23:28:07 +0100
Subject: [PATCH] makefile.sphinx: fix gh-pages / pull before add commits

Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
---
 utils/makefile.sphinx | 1 +
 1 file changed, 1 insertion(+)

diff --git a/utils/makefile.sphinx b/utils/makefile.sphinx
index 5cbc5ebd..2c1922fc 100644
--- a/utils/makefile.sphinx
+++ b/utils/makefile.sphinx
@@ -198,6 +198,7 @@ $(GH_PAGES)::
 	$(MAKE) docs
 	[ -d "gh-pages/.git" ] || git clone $(GIT_URL) gh-pages
 	-cd $(GH_PAGES); git checkout gh-pages >/dev/null
+	-cd $(GH_PAGES); git pull
 	-cd $(GH_PAGES); ls -A | grep -v '.git$$' | xargs rm -rf
 	cp -r $(DOCS_DIST)/* $(GH_PAGES)/
 	touch $(GH_PAGES)/.nojekyll