From 167e3e7607e43a0f06c7f87ced94f481e6525b0e Mon Sep 17 00:00:00 2001 From: Oleg Morozenkov Date: Mon, 23 Jul 2018 02:15:02 +0300 Subject: Fix docs --- tools/push-ghpages | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) mode change 100644 => 100755 tools/push-ghpages (limited to 'tools') diff --git a/tools/push-ghpages b/tools/push-ghpages old mode 100644 new mode 100755 index 91f606a..e7b41fa --- a/tools/push-ghpages +++ b/tools/push-ghpages @@ -1,12 +1,14 @@ #!/bin/bash -set -e -o pipefail ./generate-docs +cd .. git checkout gh-pages -find . -maxdepth 1 -not -name "docs" -not -name ".git" -print0 | xargs -0 rm -r +find . -maxdepth 1 -not -name "docs" -not -name ".git" -not -name "tools" -print0 | xargs -0 rm -r mv docs/* . mv docs/.nojekyll . rmdir docs +rm -r tools/* git add -A git commit -m "Updated docs $(date)" git push origin gh-pages +git checkout master -- cgit v1.2.3