diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-10-24 21:12:43 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-10-24 21:12:43 -0700 |
| commit | aafccdb0bdf992d18d779df97dc2deca245dc6a7 (patch) | |
| tree | 797fd919ae1a553dca031c0f7d9a76c79ba7a6c4 /osx/uninstall-pandoc.pl | |
| parent | 68ca646e65264ab225f775529201099d1c5ead7d (diff) | |
Changes for deb and osx package generators.
- Use stack for make_deb.sh.
- Use osx/stack.yaml or deb/stack.yaml.
- deb/stack.yaml doesn't want the same ghc-options.
Diffstat (limited to 'osx/uninstall-pandoc.pl')
0 files changed, 0 insertions, 0 deletions