[m-rev.] diff: Fixup notes about updating the version number.

[Paul Bone]

Branches: master, version-14.01-branch

Fixup notes about updating the version number.

The version number is kept in VERSION, however since README is no-longer
dynamically generated we must also update the version number there.
This change adds a note to this effect in VERSION.

VERSION:
    As above.
---
 VERSION | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/VERSION b/VERSION
index 06e70b7..6e86ab1 100644
--- a/VERSION
+++ b/VERSION
@@ -1,6 +1,10 @@
 # This is the central place where the version number is kept.
-# (But note that the version number for the last major release is
-# hard-coded in the RELEASE_NOTES file.)
+#
+# Note also that:
+# + the version number is hard coded in the README file, it should always
+#   match the version number below.
+# + The version number for the last major release is hard-coded in the
+#   RELEASE_NOTES file.
 #
 # The version number must be a valid file name, i.e. it should
 # not contain whitespace or special characters.  Stick to [A-Za-z0-9._-].
-- 
1.8.5.1