Mirrors/dokku
1
0
Fork 0
mirror of https://github.com/dokku/dokku.git synced 2025-12-16 03:57:43 +01:00
Code Issues Packages Projects Releases Wiki Activity

docs: update logging in doc generation to enhance doc generation debugging

Browse Source
This commit is contained in:
Jose Diaz-Gonzalez
2025-11-28 02:53:36 -05:00
parent 152213ffb4
commit c5c395ed65
1 changed files with 24 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

35
contrib/build-docs
View File

@@ -135,20 +135,33 @@ main() {
mv docs-main docs
git checkout -- mkdocs.yml docs
if [[ "$(git -C tmp/docs-build ls-files -dmo)" == "docs/sitemap.xml.gz" ]]; then
echo "====> Checking for file changes"
changes=$(git -C tmp/docs-build ls-files -dmo)
if [[ -z "$changes" ]]; then
echo " ! No doc changes found"
exit 0
fi
if [[ "$changes" == "docs/sitemap.xml.gz" ]]; then
echo " ! No doc changes found"
git -C tmp/docs-build checkout -- docs/sitemap.xml.gz
else
echo "====> Pushing docs"
git -C tmp/docs-build add .
git -C tmp/docs-build commit -m "chore: regenerate docs"
if [[ -n "$BOT_GITHUB_USERNAME" ]] && [[ -n "$BOT_GITHUB_API_TOKEN" ]]; then
git -C tmp/docs-build remote set-url origin "https://$BOT_GITHUB_USERNAME:$BOT_GITHUB_API_TOKEN@github.com/dokku/docs.git"
fi
git -C tmp/docs-build push origin master
exit 0
fi
echo "====> Changes found"
echo "$changes"
echo "====> Committing changes"
git -C tmp/docs-build add .
git -C tmp/docs-build commit -m "chore: regenerate docs"
echo "====> Pushing changes"
if [[ -n "$BOT_GITHUB_USERNAME" ]] && [[ -n "$BOT_GITHUB_API_TOKEN" ]]; then
git -C tmp/docs-build remote set-url origin "https://$BOT_GITHUB_USERNAME:$BOT_GITHUB_API_TOKEN@github.com/dokku/docs.git"
fi
git -C tmp/docs-build push origin master
}
main "$@"