github/dokku
0
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

feat: clone generated docs site before running docs generation

Browse Source
This commit is contained in:
Jose Diaz-Gonzalez
2022-09-10 14:34:15 -04:00
parent 224dc15f09
commit bed0e0ce71
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
contrib/build-docs
View File

@@ -5,11 +5,14 @@ readonly ROOT_DIR="$(cd "$(dirname "$(dirname "${BASH_SOURCE[0]}")")" && pwd)"
main() { main() {
pushd "$ROOT_DIR" >/dev/null || return 1 pushd "$ROOT_DIR" >/dev/null || return 1
rm -rf docs-main tmp/docs-source tmp/docs-build/docs # tmp/docs-build rm -rf docs-main tmp/docs-source tmp/docs-build # tmp/docs-build
mkdir -p tmp/docs-build
cp -r docs docs-main cp -r docs docs-main
echo "====> Fetching latest docs"
git clone https://github.com/dokku/docs.git tmp/docs-build
echo "====> Processing version: latest" echo "====> Processing version: latest"
rm -rf tmp/docs-build/docs
git clone -q https://github.com/dokku/dokku.git tmp/docs-source git clone -q https://github.com/dokku/dokku.git tmp/docs-source
rm -rf docs/assets rm -rf docs/assets