diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-01-02 17:02:02 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-01-02 17:02:02 -0800 |
commit | e8fba105a5e0d63b5fdbc7505d657eda13a52b59 (patch) | |
tree | 6fd33ffd654fbbcc2ec04f58f0cb61110e6ec02e /test/command/4125.md | |
parent | 308e4671d6291aaab4651be99653703b3490cb15 (diff) | |
download | pandoc-e8fba105a5e0d63b5fdbc7505d657eda13a52b59.tar.gz |
Removed custom Setup.hs, use build-type: simple.
The only thing we gained from the custom build was
automatic installation of the man page when using
'cabal install'. But custom builds cause problems,
e.g., with cross-compilation.
Installation of the man page is better handled by packagers.
Note to packagers (e.g. Debian): it may be necessary
to add a step installing the man page with the next
release.
Diffstat (limited to 'test/command/4125.md')
0 files changed, 0 insertions, 0 deletions