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 | |
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.
-rw-r--r-- | pandoc.cabal | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pandoc.cabal b/pandoc.cabal index 156777c1b..2c0596318 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -74,6 +74,9 @@ Extra-Source-Files: -- code to create pandoc.1 man page MakeManPage.hs, manpage.template, + -- generated man pages (produced post-build) + man/man1/markdown2pdf.1, + man/man1/pandoc.1, -- benchmarks Benchmark.hs, -- tests |