diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-03-19 16:24:52 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-03-19 16:24:52 +0100 |
| commit | 74fd00b5f6a776df0fd10d3f4bea58d10ae3a2a3 (patch) | |
| tree | b5281ceff47d5e7fe378bbfdb983a456f2fc6c5e /linux/make_tarball.sh | |
| parent | 6756e23f945c7a9c685ac4e8b06eae052f52b574 (diff) | |
| download | pandoc-74fd00b5f6a776df0fd10d3f4bea58d10ae3a2a3.tar.gz | |
Improved linux tar.gz creation and added Dockerfile to repository.
Diffstat (limited to 'linux/make_tarball.sh')
| -rw-r--r-- | linux/make_tarball.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/linux/make_tarball.sh b/linux/make_tarball.sh new file mode 100644 index 000000000..ff54db603 --- /dev/null +++ b/linux/make_tarball.sh @@ -0,0 +1,15 @@ +set -e + +VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}') +TARGET=pandoc-$VERSION + +cd /artifacts +mkdir $TARGET +mkdir $TARGET/bin $TARGET/man $TARGET/man/man1 +./pandoc-citeproc --man > $TARGET/man/man1/pandoc-citeproc.1 +cp /usr/src/pandoc/man/pandoc.1 $TARGET/man/man1 +mv pandoc pandoc-citeproc $TARGET/bin +gzip -9 $TARGET/man/man1/pandoc.1 +gzip -9 $TARGET/man/man1/pandoc-citeproc.1 +tar cvzf $TARGET.tar.gz $TARGET +rm -r $TARGET |