diff options
Diffstat (limited to 'make_deb.sh')
| -rwxr-xr-x | make_deb.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/make_deb.sh b/make_deb.sh index a184b54d6..639d7b930 100755 --- a/make_deb.sh +++ b/make_deb.sh @@ -20,6 +20,9 @@ COPYRIGHT=$DEST/share/doc/pandoc/copyright stack setup stack clean which hsb2hs || stack install --stack-yaml stack.hsb2hs.yaml +# We need this for hsb2hs: +PATH=$LOCAL/bin:$PATH + stack install --stack-yaml deb/stack.yaml # get pandoc-citeproc man page: |