Fix docs build
commit83dba934ee58affec7f462f22827ac1b180ed459
authorRodney Lorrimar <rodney.lorrimar@iohk.io>
dateMon 3 Jun 2019, 08:34 (7 years ago)
parent8e141af
scripts/update-docs.nix+2
@@ -25,7 +25,9 @@ in
2525 rev=$(git rev-parse --short HEAD)
2626
2727 echo "Updating git index..."
28+ git fetch origin
2829 git checkout gh-pages
30+ git reset --hard origin/gh-pages
2931 GIT_WORK_TREE=$(pwd)/site git add -A
3032 check_staged
3133 echo "Committing changes..."