do-release.sh: Don't delete release_notes_pmd7.md

This commit is contained in:
Andreas Dangel 2024-04-26 14:47:28 +02:00
parent 6a1c7de03c
commit 8a67424c8c
No known key found for this signature in database
GPG Key ID: 93450DF2DF9A3FA3

View File

@ -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 <<EOF
---