From a7f59bfb1567b62b7d2f1b14e2ae6e345471a7b6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mislav=20Marohni=C4=87?= Date: Mon, 16 Dec 2019 15:59:46 +0100 Subject: [PATCH] Improve `site-docs` make task This ensures that upstream changes to the `gh-pages` branches are pulled before trying to upload new site docs. --- Makefile | 1 + 1 file changed, 1 insertion(+) 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'