From 9cb2e9ccd89ba3f9d21d140a0586e2fbd393d022 Mon Sep 17 00:00:00 2001 From: Oleg Morozenkov Date: Tue, 1 Nov 2022 20:22:36 +0300 Subject: Fix docs-push-gh-pages --- tools/docs-push-gh-pages | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/docs-push-gh-pages') diff --git a/tools/docs-push-gh-pages b/tools/docs-push-gh-pages index 4d07dbd..a633087 100755 --- a/tools/docs-push-gh-pages +++ b/tools/docs-push-gh-pages @@ -3,7 +3,7 @@ set -e ./docs-generate cd .. -git checkout gh-pages +git checkout --track origin/gh-pages find . -maxdepth 1 -not -name "docs" -not -name ".git" -not -name "tools" -print0 | xargs -0 rm -r || true mv docs/* . mv docs/.nojekyll . -- cgit v1.2.3