diff --git a/hack/cherry_pick_pull.sh b/hack/cherry_pick_pull.sh index 43401da9cc2b..4726cdc8350e 100755 --- a/hack/cherry_pick_pull.sh +++ b/hack/cherry_pick_pull.sh @@ -183,6 +183,15 @@ for pull in "${PULLS[@]}"; do done gitamcleanup=false +# Re-generate docs (if needed) +echo +echo "Regenerating docs..." +if ! hack/generate-docs.sh; then + echo + echo "hack/generate-docs.sh FAILED to complete." + exit 1 +fi + if [[ -n "${DRY_RUN}" ]]; then echo "!!! Skipping git push and PR creation because you set DRY_RUN." echo "To return to the branch you were in when you invoked this script:"