@@ -15,28 +15,28 @@ DEST=$DIST/usr
1515ME=$(whoami)
1616COPYRIGHT=$DEST/share/doc/pandoc/copyright
1717
18−# We need this for hsb2hs:
1918PATH=$LOCAL/bin:$PATH
2019
20+mkdir -p $LOCAL/bin
2121mkdir -p $DEST/bin
2222mkdir -p $DEST/share/man/man1
2323mkdir -p $DEST/share/doc/pandoc
2424
25−stack install --install-ghc --stack-yaml stack.pkg.yaml --local-bin-path . hsb2hs
26−stack install --install-ghc --stack-yaml stack.pkg.yaml --local-bin-path . pandoc pandoc-citeproc
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 $LOCAL/bin pandoc pandoc-citeproc
2727
2828make man/pandoc.1
2929# get pandoc-citeproc man page:
3030PANDOC_CITEPROC_VERSION=`pandoc-citeproc --version | awk '{print $2;}'`
3131curl https://raw.githubusercontent.com/jgm/pandoc-citeproc/${PANDOC_CITEPROC_VERSION}/man/man1/pandoc-citeproc.1 > $DEST/share/man/man1/pandoc-citeproc.1
3232
33−strip deb/pandoc
34−strip deb/pandoc-citeproc
3533
3634mkdir -p $DEST/share/doc/pandoc-citeproc
3735find $DIST -type d | xargs chmod 755
38−cp deb/pandoc $DEST/bin/
39−cp deb/pandoc-citeproc $DEST/bin/
36+strip $LOCAL/bin/pandoc
37+strip $LOCAL/bin/pandoc-citeproc
38+cp $LOCAL/bin/pandoc $DEST/bin/
39+cp $LOCAL/bin/pandoc-citeproc $DEST/bin/
4040cp man/pandoc.1 $DEST/share/man/man1/pandoc.1
4141gzip -9 $DEST/share/man/man1/pandoc.1
4242gzip -9 $DEST/share/man/man1/pandoc-citeproc.1