025f33e366
package-source.bash: archive HEAD instead of master
...
To be able to check out an older version and create
a tarball from it, let `git archive` operate on HEAD.
This used to be broken in a bad way: we use `git describe`
which operates on HEAD to name the tarball, but always archived
HEAD.
2018-01-07 22:29:02 +01:00
1ae218b417
package-source.bash: also create source-only tarball
...
We used to only create a source + dependecies tarball,
but having a source-only tarball makes packaging deb/rpm
easier.
2018-01-07 19:01:59 +01:00
843138168f
package-source.bash: replace plus sign in file name
...
Plus signs are apparently not supported on github,
and replaced by a dot.
2017-11-01 20:05:15 +01:00
5428567fa0
package-source.bash: create VERSION file
...
...and delete if after packaging is done.
2017-11-01 19:41:47 +01:00
39839ade70
Add source packaging script
2017-11-01 18:58:10 +01:00
Jakob Unterwurzacher