makefile.sphinx: fix gh-pages / pull before add commits
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
commitd3e4e81fafbdf24604924ce34c70c511c0531301
authorMarkus Heiser <markus.heiser@darmarit.de>
dateSun 22 Dec 2019, 23:28 (7 years ago)
parent90174e2
utils/makefile.sphinx+1
@@ -198,6 +198,7 @@ $(GH_PAGES)::
198198 $(MAKE) docs
199199 [ -d "gh-pages/.git" ] || git clone $(GIT_URL) gh-pages
200200 -cd $(GH_PAGES); git checkout gh-pages >/dev/null
201+ -cd $(GH_PAGES); git pull
201202 -cd $(GH_PAGES); ls -A | grep -v '.git$$' | xargs rm -rf
202203 cp -r $(DOCS_DIST)/* $(GH_PAGES)/
203204 touch $(GH_PAGES)/.nojekyll