This commit is contained in:
Ciro Santilli
2020-03-22 00:00:04 +00:00
parent 2d70f74a5c
commit 04c87ca20e

View File

@@ -21,8 +21,9 @@ if [ ! -d "$gh_pages_dir" ]; then
fi
cp README.html "${gh_pages_dir}/index.html"
git -C "$gh_pages_dir" add index.html
git -C "$gh_pages_dir" commit -m "$(git log -1 --format="%H")"
git -C "$gh_pages_dir" push
if git -C "$gh_pages_dir" commit -m "$(git log -1 --format="%H")"; then
git -C "$gh_pages_dir" push
fi
# NPM package.
# Updates package.json version, which other systems read if possible.