2017-03-19 16:24:52 +01:00
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
VERSION=$(grep -e '^Version' pandoc.cabal | awk '{print $2}')
|
|
|
|
|
TARGET=pandoc-$VERSION
|
|
|
|
|
|
|
|
|
|
cd /artifacts
|
2017-03-19 20:09:38 +01:00
|
|
|
rm -rf $TARGET
|
2017-03-19 16:24:52 +01:00
|
|
|
mkdir $TARGET
|
2017-03-19 16:32:15 +01:00
|
|
|
mkdir $TARGET/bin $TARGET/share $TARGET/share/man $TARGET/share/man/man1
|
|
|
|
|
./pandoc-citeproc --man > $TARGET/share/man/man1/pandoc-citeproc.1
|
|
|
|
|
cp /usr/src/pandoc/man/pandoc.1 $TARGET/share/man/man1
|
2017-03-19 16:24:52 +01:00
|
|
|
mv pandoc pandoc-citeproc $TARGET/bin
|
2017-08-18 23:37:17 +02:00
|
|
|
strip $TARGET/bin/pandoc
|
|
|
|
|
strip $TARGET/bin/pandoc-citeproc
|
2017-03-19 16:32:15 +01:00
|
|
|
gzip -9 $TARGET/share/man/man1/pandoc.1
|
|
|
|
|
gzip -9 $TARGET/share/man/man1/pandoc-citeproc.1
|
2017-03-19 16:24:52 +01:00
|
|
|
tar cvzf $TARGET.tar.gz $TARGET
|
|
|
|
|
rm -r $TARGET
|
