Avoid failing if site docs are already up-to-date

This commit is contained in:
Mislav Marohnić 2020-04-22 16:13:16 +02:00
parent 1b12ef863e
commit 83502fdbae

View file

@ -32,7 +32,7 @@ site-docs: site
for f in site/manual/gh*.md; do sed -i.bak -e '/^### SEE ALSO/,$$d' "$$f"; done
rm -f site/manual/*.bak
git -C site add 'manual/gh*.md'
git -C site commit -m 'update help docs'
git -C site commit -m 'update help docs' || true
.PHONY: site-docs
site-publish: site-docs