Try fixing docs/master build

This commit is contained in:
Juho Teperi 2018-05-17 08:59:18 +03:00
parent bc42a0f0e8
commit 33cc4e7a80
1 changed files with 1 additions and 0 deletions

View File

@ -28,6 +28,7 @@ test ! -e tmp/js/out
cd tmp
# Restore files not created by this script
git add docs/master/
git checkout -- README.md docs/
git add .
git commit -m "Built site from $SHA"