From 4b811667824843a7562f86641c2173aae91f436b Mon Sep 17 00:00:00 2001 From: Lucien Greathouse Date: Wed, 9 Jan 2019 23:19:52 -0800 Subject: [PATCH] Pull after switching branches in generate-docs --- generate-docs | 1 + 1 file changed, 1 insertion(+) diff --git a/generate-docs b/generate-docs index d74e096d..159d379a 100644 --- a/generate-docs +++ b/generate-docs @@ -11,6 +11,7 @@ CURRENT_BRANCH=$(git rev-parse --abbrev-ref HEAD) echo "Building 0.4.x" git checkout v0.4.x +git pull mkdocs build --site-dir site mkdocs build --site-dir site/0.4.x