diff --git a/build/mark-new-version.sh b/build/mark-new-version.sh index 1c445c0332f..591899130d3 100755 --- a/build/mark-new-version.sh +++ b/build/mark-new-version.sh @@ -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 '//,//d' \ -e "s/HEAD/${NEW_VERSION}/" \ - -e "//,//d" \ "${DOC}" done