diff options
author | John MacFarlane <fiddlosopher@gmail.com> | 2011-10-23 18:22:32 -0700 |
---|---|---|
committer | John MacFarlane <fiddlosopher@gmail.com> | 2011-10-23 18:24:19 -0700 |
commit | eac1fc3750923698db82011b9fda5a0788dfcfea (patch) | |
tree | bc3bfe2293ab59aa8c419c28f0721951b77bc10c /pandoc.cabal | |
parent | 8da83ff3c5c0c14538397bb04b598d41e2a0b90e (diff) |
Added built man pages to repository.
In general I don't like adding generated content to the repository,
but I also want to make it possible to clone the repository and
'cabal install'. THe current system with Setup.hs calling
MakeManPage.hs is too fragile.
Diffstat (limited to 'pandoc.cabal')
-rw-r--r-- | pandoc.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pandoc.cabal b/pandoc.cabal index a74febfea..feab0d6f8 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -75,7 +75,7 @@ Extra-Source-Files: MakeManPage.hs, man/man1/pandoc.1.template, man/man5/pandoc_markdown.5.template, - -- generated man pages (produced post-build) + -- generated man pages man/man1/markdown2pdf.1, man/man1/pandoc.1, man/man5/pandoc_markdown.5, |