From 3442df88bd8a4a923f87ccbba90c3f24898e9d83 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 19 Jan 2011 12:17:37 -0800
Subject: 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.
---
 pandoc.cabal | 3 +++
 1 file changed, 3 insertions(+)

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
-- 
cgit v1.2.3