Merge branches 'dist-warn-pr19108' and 'docs-pr16623' into micro
authorStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 19 Dec 2014 10:09:45 +0000 (11:09 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Fri, 19 Dec 2014 10:09:45 +0000 (11:09 +0100)
* dist-warn-pr19108:
  dist: adjust warning messages about shar and tarZ deprecation

* docs-pr16623:
  docs: improve description of ${PACKAGE}, ${VERSION}, and similar variables


Trivial merge