diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2011-01-19 12:17:37 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2011-01-19 12:17:37 -0800 |
| commit | 3442df88bd8a4a923f87ccbba90c3f24898e9d83 (patch) | |
| tree | 2388540037a4b79422da69c0163f5d963510340a /PROFILING | |
| parent | adaae082fc27e1d7897edfbb32412b25456e3c05 (diff) | |
| download | pandoc-3442df88bd8a4a923f87ccbba90c3f24898e9d83.tar.gz | |
Include man pages in extra-source-files.
The man pages are produced by a post-build hook, using
MakeManPage.hs. However, there seem to be problems running
this program on some systems; see
https://github.com/jgm/pandoc/issues/#issue/15.
This change means that the generated man pages will be included in
the tarball produced by 'cabal sdist', and hence in releases.
They will still be updated by the build process if the sources
change, but in most builds, the man page won't need to be regenerated.
Diffstat (limited to 'PROFILING')
0 files changed, 0 insertions, 0 deletions