Update release docu

This commit is contained in:
Andreas Dangel 2018-11-12 20:14:54 +01:00
parent 0e90269b95
commit 4c1a0145f5
2 changed files with 6 additions and 0 deletions

View File

@ -75,6 +75,9 @@ echo
echo "* Ensure all the new rules are listed in the proper file:"
echo " ${RELEASE_RULESET}"
echo
echo "* Update **docs/pages/next_major_development.md** with the API changes for"
echo " the new release based on the release notes"
echo
echo "* Update **../pmd.github.io/_config.yml** to mention the new release"
echo
echo "Press enter to continue..."

View File

@ -40,6 +40,9 @@ The release notes usual mention any new rules that have been added since the las
Please double check the file `pmd-core/src/main/resources/rulesets/releases/<version>.xml`, so
that all new rules are listed.
We maintain a documentation for the [next major release](pmd_next_major_development.html). Copy the API
changes from the current release notes to this document: `docs/pages/next_major_development.md`.
Check in all (version) changes to branch master or any other branch, from which the release takes place:
$ git commit -a -m "Prepare pmd release <version>"