aboutsummaryrefslogtreecommitdiff
path: root/deb/make_deb.sh
AgeCommit message (Expand)AuthorFilesLines
2017-02-12deb/make_deb.sh fixes.John MacFarlane1-7/+7
2017-02-12Replaced {deb,macos,windows}/stack.yaml with stack.pkg.yaml.John MacFarlane1-2/+2
2016-07-21make_deb.sh: get pandoc-citeproc LICENSE from github.John MacFarlane1-1/+1
2016-07-21make_deb.sh: get pandoc-citeproc.1 directly from github.John MacFarlane1-10/+5
2016-07-20Small changes in debian package creation.John MacFarlane1-2/+1
2016-06-04Fixed --local-bin-path in deb package script.John MacFarlane1-1/+1
2016-06-04deb pkg: use --local-bin-path so we don't install to ~/.local.John MacFarlane1-5/+5
2016-01-07More deb packaging tweaks.John MacFarlane1-2/+0
2016-01-07deb/make_deb.sh - removed 'stack clean'.John MacFarlane1-2/+1
2016-01-07make_deb.sh - use --install-ghc flag instead of stack setup.John MacFarlane1-3/+2
2016-01-07deb pkg generation improvements.John MacFarlane1-0/+66