diff --git a/Makefile b/Makefile index 0090c0aaf..d17f749bf 100644 --- a/Makefile +++ b/Makefile @@ -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'