From 4d70ec9531d3bd4b8009baa681b8d53512a205e4 Mon Sep 17 00:00:00 2001
From: David McMahon <djmm@google.com>
Date: Mon, 5 Jun 2017 13:51:32 -0700
Subject: [PATCH] Regenerate docs (if necessary) during cherry-pick operations.

---
 hack/cherry_pick_pull.sh | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/hack/cherry_pick_pull.sh b/hack/cherry_pick_pull.sh
index 43401da9cc..4726cdc835 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:"