@@ -15,28 +15,28 @@ DEST=$DIST/usr
15ME=$(whoami)
15ME=$(whoami)
16COPYRIGHT=$DEST/share/doc/pandoc/copyright
16COPYRIGHT=$DEST/share/doc/pandoc/copyright
18−# We need this for hsb2hs:
19PATH=$LOCAL/bin:$PATH
18PATH=$LOCAL/bin:$PATH
21mkdir -p $DEST/bin
21mkdir -p $DEST/bin
22mkdir -p $DEST/share/man/man1
22mkdir -p $DEST/share/man/man1
23mkdir -p $DEST/share/doc/pandoc
23mkdir -p $DEST/share/doc/pandoc
25−stack install --install-ghc --stack-yaml stack.pkg.yaml --local-bin-path . hsb2hs
25+stack install --install-ghc --stack-yaml stack.pkg.yaml --local-bin-path $LOCAL/bin hsb2hs
26−stack install --install-ghc --stack-yaml stack.pkg.yaml --local-bin-path . pandoc pandoc-citeproc
26+stack install --install-ghc --stack-yaml stack.pkg.yaml --local-bin-path $LOCAL/bin pandoc pandoc-citeproc
28make man/pandoc.1
28make man/pandoc.1
29# get pandoc-citeproc man page:
29# get pandoc-citeproc man page:
30PANDOC_CITEPROC_VERSION=`pandoc-citeproc --version | awk '{print $2;}'`
30PANDOC_CITEPROC_VERSION=`pandoc-citeproc --version | awk '{print $2;}'`
31curl https://raw.githubusercontent.com/jgm/pandoc-citeproc/${PANDOC_CITEPROC_VERSION}/man/man1/pandoc-citeproc.1 > $DEST/share/man/man1/pandoc-citeproc.1
31curl https://raw.githubusercontent.com/jgm/pandoc-citeproc/${PANDOC_CITEPROC_VERSION}/man/man1/pandoc-citeproc.1 > $DEST/share/man/man1/pandoc-citeproc.1
34−strip deb/pandoc-citeproc
36mkdir -p $DEST/share/doc/pandoc-citeproc
34mkdir -p $DEST/share/doc/pandoc-citeproc
37find $DIST -type d | xargs chmod 755
35find $DIST -type d | xargs chmod 755
36+strip $LOCAL/bin/pandoc
37+strip $LOCAL/bin/pandoc-citeproc
38−cp deb/pandoc $DEST/bin/
38+cp $LOCAL/bin/pandoc $DEST/bin/
39−cp deb/pandoc-citeproc $DEST/bin/
39+cp $LOCAL/bin/pandoc-citeproc $DEST/bin/
40cp man/pandoc.1 $DEST/share/man/man1/pandoc.1
40cp man/pandoc.1 $DEST/share/man/man1/pandoc.1
41gzip -9 $DEST/share/man/man1/pandoc.1
41gzip -9 $DEST/share/man/man1/pandoc.1
42gzip -9 $DEST/share/man/man1/pandoc-citeproc.1
42gzip -9 $DEST/share/man/man1/pandoc-citeproc.1