diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2016-06-04 08:11:07 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2016-06-04 08:11:07 -0700 |
| commit | 64a037141d6730b6282615e28fffda344f1c1211 (patch) | |
| tree | 6e5d470c9c177e62afddfcbb138fb02ff0006a72 /deb/make_deb.sh | |
| parent | 01f7d54119038aeed7afaabab2f7768c165f476f (diff) | |
Fixed --local-bin-path in deb package script.
Diffstat (limited to 'deb/make_deb.sh')
| -rwxr-xr-x | deb/make_deb.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deb/make_deb.sh b/deb/make_deb.sh index 786fe286a..fc1f1e232 100755 --- a/deb/make_deb.sh +++ b/deb/make_deb.sh @@ -21,7 +21,7 @@ PATH=$LOCAL/bin:$PATH which hsb2hs || stack install --install-ghc --stack-yaml stack.hsb2hs.yaml -stack install --install-ghc --stack-yaml deb/stack.yaml --local-bin-path deb pandoc pandoc-citeproc +stack install --install-ghc --stack-yaml deb/stack.yaml --local-bin-path . pandoc pandoc-citeproc make man/pandoc.1 # get pandoc-citeproc man page: |