From 8a67424c8c11da41704e194c89f0ea44570af8aa Mon Sep 17 00:00:00 2001 From: Andreas Dangel Date: Fri, 26 Apr 2024 14:47:28 +0200 Subject: [PATCH] do-release.sh: Don't delete release_notes_pmd7.md --- do-release.sh | 3 --- 1 file changed, 3 deletions(-) diff --git a/do-release.sh b/do-release.sh index a9ea48d7e0..4107f3ff5b 100755 --- a/do-release.sh +++ b/do-release.sh @@ -245,9 +245,6 @@ ${NEW_RELEASE_NOTES} ${OLD_RELEASE_NOTES}" > docs/pages/release_notes_old.md -# update release_notes_pmd7 with prerendered version (jdoc tags are replaced with released version) -echo "$RELEASE_NOTES_PMD7" > docs/pages/release_notes_pmd7.md - # reset release notes template cat > docs/pages/release_notes.md <