Improve site-docs make task

This ensures that upstream changes to the `gh-pages` branches are pulled
before trying to upload new site docs.
This commit is contained in:
Mislav Marohnić 2019-12-16 15:59:46 +01:00
parent e93ab66107
commit a7f59bfb15

View file

@ -20,6 +20,7 @@ site:
git worktree add site gh-pages
site-docs: site
git -C site pull
git -C site rm 'gh*.md' 2>/dev/null || true
go run ./cmd/gen-docs site
git -C site add 'gh*.md'