diff options
| author | Dan Davison <dandavison7@gmail.com> | 2022-09-14 17:14:13 -0400 |
|---|---|---|
| committer | Dan Davison <dandavison7@gmail.com> | 2022-09-14 17:15:42 -0400 |
| commit | 4e05ee5ef44361371bc7ef0882c52fabb62e68e7 (patch) | |
| tree | 05328e54a5d5bc5f78db8cc9319a704d97beee10 | |
| parent | d9d80436ba14894640e5e0b7093f55b987b60be8 (diff) | |
Check that new version number is present in docs
Ref #1192
| -rw-r--r-- | etc/release.Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/etc/release.Makefile b/etc/release.Makefile index dc601731..747160e1 100644 --- a/etc/release.Makefile +++ b/etc/release.Makefile @@ -48,6 +48,8 @@ BUMP_VERSION_IN_DOCUMENTATION_LINKS_SENTINEL=.make-sentinels/bump-version-in-doc bump-version-in-documentation-links: $(BUMP_VERSION_IN_DOCUMENTATION_LINKS_SENTINEL) $(BUMP_VERSION_IN_DOCUMENTATION_LINKS_SENTINEL): sed -i -E "s,$$DELTA_OLD_VERSION,$$DELTA_NEW_VERSION,g" manual/src/full---help-output.md manual/src/installation.md + rg -qF "$$DELTA_NEW_VERSION" manual/src/full---help-output.md + rg -qF "$$DELTA_NEW_VERSION" manual/src/installation.md git add manual/src/full---help-output.md manual/src/installation.md git commit -m "Bump version in links to executables" touch $(BUMP_VERSION_IN_DOCUMENTATION_LINKS_SENTINEL) |