Changes to apply when changing version:

- VERSION.txt: validate version number

- CHANGELOG

- Generate a release :
    make release'
  The following updates are done automatically:
  * man page (man make target)
  * via "update_vernum_in_files":
    [x] install_arcv.sh: updated version numbers incl. dependencies
    [x] pack/debian/control : update dependency version
    [x] arcv_version.adoc in "developertoolsforlinux/pages/_topics/arcv/" of website
  * updates download page (web_download make target)
  
  NOTE: since some files may be updated:
    av -y
    make release

- Run all tests

- Tag the release once the release has been successfully tested:
    av pub
    The following updates are done automatically if 'av hook tools/update-web.sh' was called
    * online documentation update
      [x] make web is called
      [x] web site page are regenerated using make gensiten (release)

- Export the release to GitHub, for example (change to the actual version number):
    av export ../release/shellapi/shellapi-1.1-3

- Update GitHub: create the tag and related release packages manually

