From 79764df2d5c75c63b92613316fcc8a9b8379f8cc Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Thu, 2 Jul 2015 22:09:04 -0700
Subject: Added pandoc.1 to repository.  Don't build as part of cabal build.

The process was too fragile.  It made too many assumptions about
available libraries (which failed sometimes when sandboxes were
used).  This is a low-tech solution.  The only drawback is that
`man/pandoc.1` is a generated file in the repository.  It will need
to be regenerated periodically when README changes.
---
 pandoc.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pandoc.cabal')

diff --git a/pandoc.cabal b/pandoc.cabal
index 4c56618db..34d026827 100644
--- a/pandoc.cabal
+++ b/pandoc.cabal
@@ -109,6 +109,7 @@ Data-Files:
 Extra-Source-Files:
                  -- documentation
                  INSTALL, BUGS, CONTRIBUTING.md, changelog
+                 man/pandoc.1
                  -- files needed to build man page
                  man/capitalizeHeaders.hs
                  man/removeNotes.hs
@@ -209,7 +210,6 @@ Extra-Source-Files:
                  tests/epub/*.native
                  tests/txt2tags.t2t
                  tests/twiki-reader.twiki
-Extra-Tmp-Files: man/pandoc.1
 
 Source-repository head
   type:          git
-- 
cgit v1.2.3