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 /src | |
| 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 'src')
0 files changed, 0 insertions, 0 deletions