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.
This commit is contained in:
parent
adaae082fc
commit
3442df88bd
1 changed files with 3 additions and 0 deletions
|
@ -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
|
||||
|
|
Loading…
Add table
Reference in a new issue