summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorOleg Morozenkov <o.morozenkov@corp.mail.ru>2022-11-01 20:22:36 +0300
committerOleg Morozenkov <o.morozenkov@corp.mail.ru>2022-11-01 20:22:36 +0300
commit9cb2e9ccd89ba3f9d21d140a0586e2fbd393d022 (patch)
treea6f082c3c99db12595e5a686ff1a48b2ba6fdfce
parent4c7717c6b2e7ef3f553d6b10c3cc1ca05615a947 (diff)
Fix docs-push-gh-pages
-rwxr-xr-xtools/docs-push-gh-pages2
1 files changed, 1 insertions, 1 deletions
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 .