Mirrors/dokku
1
0
Fork 0
mirror of https://github.com/dokku/dokku.git synced 2026-05-18 05:05:46 +02:00
Code Issues Packages Projects Releases Wiki Activity

debug: output the current version file for debugging

Browse Source
This commit is contained in:
Jose Diaz-Gonzalez
2022-09-10 16:01:29 -04:00
parent c715857ac7
commit b23eb8f330
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
contrib/build-docs
View File

@@ -123,7 +123,13 @@ main() {
done
done
python contrib/sort-mkdocs-versions
echo "====> Rebuild versions"
if [[ -f "tmp/docs-build/versions.json" ]]; then
sed "s/^/ /" "tmp/docs-build/versions.json"
python contrib/sort-mkdocs-versions
else
echo " No version file exists"
fi
echo "====> Cleanup main repo"
rm -rf docs