make_macos_package.sh: use strip to reduce executable size.
commit995d17353b1e8841bc25ca4731959b6d8f64f50e
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 18 Aug 2017, 14:34 (9 years ago)
parent7cac58f
macos/make_macos_package.sh+3
@@ -30,6 +30,9 @@ echo Building pandoc...
3030stack clean
3131stack install --stack-yaml=stack.pkg.yaml --local-bin-path $DEST/bin/ pandoc pandoc-citeproc
3232
33+strip $DEST/bin/pandoc
34+strip $DEST/bin/pandoc-citeproc
35+
3336echo Getting man pages...
3437make man/pandoc.1
3538