diff options
-rwxr-xr-x | make_osx_package.sh | 2 | ||||
-rw-r--r-- | osx/stack.yaml | 2 |
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' |