From bed0e0ce71e576b2000ef892b0d7c2e133abf020 Mon Sep 17 00:00:00 2001 From: Jose Diaz-Gonzalez Date: Sat, 10 Sep 2022 14:34:15 -0400 Subject: [PATCH] feat: clone generated docs site before running docs generation --- contrib/build-docs | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/contrib/build-docs b/contrib/build-docs index 8bbbfc7f5..5c03e7992 100755 --- a/contrib/build-docs +++ b/contrib/build-docs @@ -5,11 +5,14 @@ readonly ROOT_DIR="$(cd "$(dirname "$(dirname "${BASH_SOURCE[0]}")")" && pwd)" main() { pushd "$ROOT_DIR" >/dev/null || return 1 - rm -rf docs-main tmp/docs-source tmp/docs-build/docs # tmp/docs-build - mkdir -p tmp/docs-build + rm -rf docs-main tmp/docs-source tmp/docs-build # tmp/docs-build cp -r docs docs-main + echo "====> Fetching latest docs" + git clone https://github.com/dokku/docs.git tmp/docs-build + echo "====> Processing version: latest" + rm -rf tmp/docs-build/docs git clone -q https://github.com/dokku/dokku.git tmp/docs-source rm -rf docs/assets