summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2016-06-04 08:08:33 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2016-06-04 08:08:33 -0700
commit01f7d54119038aeed7afaabab2f7768c165f476f (patch)
tree64700eef6cf5ce04fcd26c116f20f129515b7e4f
parentb4ea4826601f6970f086eb5d2adea9c8aa20ab55 (diff)
Fixed osx packaging issues.
-rwxr-xr-xmake_osx_package.sh2
-rw-r--r--osx/stack.yaml2
2 files changed, 1 insertions, 3 deletions
diff --git a/make_osx_package.sh b/make_osx_package.sh
index 8a23ec559..8435b9b65 100755
--- a/make_osx_package.sh
+++ b/make_osx_package.sh
@@ -27,7 +27,7 @@ which hsb2hs || stack install --stack-yaml=stack.hsb2hs.yaml
echo Building pandoc...
stack clean
-stack install --stack-yaml=osx/stack.yaml --local-bin-path osx pandoc pandoc-citeproc
+stack install --stack-yaml=osx/stack.yaml --local-bin-path . pandoc pandoc-citeproc
echo Getting man pages...
make man/pandoc.1
diff --git a/osx/stack.yaml b/osx/stack.yaml
index 802df92a0..b56b497b7 100644
--- a/osx/stack.yaml
+++ b/osx/stack.yaml
@@ -11,8 +11,6 @@ flags:
unicode_collation: false
test_citeproc: false
debug: false
- texmath:
- network-uri: true
ghc-options:
pandoc-citeproc: '-pgmP cpphs -optP--cpp'
highlighting-kate: '-pgmP cpphs -optP--cpp'