Jakob Unterwurzacher
|
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 |
Jakob Unterwurzacher
|
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 |
Jakob Unterwurzacher
|
5428567fa0
|
package-source.bash: create VERSION file
...and delete if after packaging is done.
|
2017-11-01 19:41:47 +01:00 |
Jakob Unterwurzacher
|
39839ade70
|
Add source packaging script
|
2017-11-01 18:58:10 +01:00 |