diff options
Diffstat (limited to 'deb/make_deb.sh')
| -rwxr-xr-x | deb/make_deb.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/deb/make_deb.sh b/deb/make_deb.sh index f07264d78..572698ae6 100755 --- a/deb/make_deb.sh +++ b/deb/make_deb.sh @@ -22,8 +22,8 @@ mkdir -p $DEST/bin mkdir -p $DEST/share/man/man1 mkdir -p $DEST/share/doc/pandoc -stack install --install-ghc --stack-yaml deb/stack.yaml --local-bin-path . hsb2hs -stack install --install-ghc --stack-yaml deb/stack.yaml --local-bin-path . pandoc pandoc-citeproc +stack install --install-ghc --stack-yaml stack.pkg.yaml --local-bin-path . hsb2hs +stack install --install-ghc --stack-yaml stack.pkg.yaml --local-bin-path . pandoc pandoc-citeproc make man/pandoc.1 # get pandoc-citeproc man page: |