spechub/Hets — pull request #1287 by cmaeder (2014-07-16 11:22:17+00:00)
Title: current version for packaging hets

Note, that empty directories (i.e. debian/trusty) must be created for this
script to work!
Yet, git does not track empty directories
and I don't want to duplicate files or have dummy files in releases.

Further adjustment is needed once Hets-lib is on github.