Skip to content
Browse files

makefile.sphinx: fix gh-pages / pull before add commits

Signed-off-by: Markus Heiser <>
  • Loading branch information
return42 committed Dec 22, 2019
1 parent 90174e2 commit d3e4e81fafbdf24604924ce34c70c511c0531301
Showing with 1 addition and 0 deletions.
  1. +1 −0 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

0 comments on commit d3e4e81

Please sign in to comment.
You can’t perform that action at this time.