Merge pull request #11023 from thockin/automated-cherry-pick-of-#10961-on-release-0.21

Automated cherry pick of #10961 on release 0.21
This commit is contained in:
Zach Loafman 2015-07-09 16:05:23 -07:00
commit 3f14ca781b

View File

@ -95,8 +95,8 @@ echo "+++ Versioning documentation and examples"
DOCS_TO_EDIT=(docs/README.md examples/README.md)
for DOC in "${DOCS_TO_EDIT[@]}"; do
$SED -ri \
-e '/<!-- BEGIN STRIP_FOR_RELEASE -->/,/<!-- END STRIP_FOR_RELEASE -->/d' \
-e "s/HEAD/${NEW_VERSION}/" \
-e "/<!-- BEGIN STRIP_FOR_RELEASE -->/,/<!-- END STRIP_FOR_RELEASE -->/d" \
"${DOC}"
done