dev-release: document changing the archetypeVersion in dev-plugins.txt
This was often overlooked during the release process, at least by me.
Change-Id: I1a1aea927b3e733bfaeb753f31b3e8d508d31cac
diff --git a/Documentation/dev-release.txt b/Documentation/dev-release.txt
index 6726f4a..49ff093 100644
--- a/Documentation/dev-release.txt
+++ b/Documentation/dev-release.txt
@@ -134,7 +134,12 @@
./tools/version.py 2.5
----
-Commit the change and create the release tag on the new commit:
+Also check and update the referenced `archetypeVersion` and the
+`archetypeRepository` in the `Documentation/dev-plugins.txt` file.
+If the referenced `archetypeVersion` will be available in the Maven central,
+delete the line with the `archetypeRepository`.
+
+Commit the changes and create the release tag on the new commit:
----
git tag -a v2.5
