summaryrefslogtreecommitdiff
path: root/pandoc.cabal
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2015-07-02 22:09:04 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2015-07-02 22:12:38 -0700
commit79764df2d5c75c63b92613316fcc8a9b8379f8cc (patch)
tree8d94fa2d3e0c3ae96ed980f8445e7be24efd59ea /pandoc.cabal
parentfbc5384ef809a156b6242758abb20d166a23d3cc (diff)
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.
Diffstat (limited to 'pandoc.cabal')
-rw-r--r--pandoc.cabal2
1 files changed, 1 insertions, 1 deletions
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