diff options
author | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 13:52:38 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2014-08-13 13:52:46 -0700 |
commit | 3b7d276ab056261972dfefc659648813bb9787d7 (patch) | |
tree | b87772819f9703fb520b01f7cd1cc5ab57b0fc24 /pandoc.cabal | |
parent | a0e795fc40601d29dac48f7faac4507712ace601 (diff) |
Added make-pandoc-man-pages flag
Previously we built this by default, but most users won't need
to build it, since we include built man pages with the package.
Diffstat (limited to 'pandoc.cabal')
-rw-r--r-- | pandoc.cabal | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pandoc.cabal b/pandoc.cabal index c9feb3272..95a790da0 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -187,6 +187,10 @@ Flag https Description: Enable support for downloading of resources over https. Default: True +Flag make-pandoc-man-pages + Description: Build program to regenerate pandoc man pages from README. + Default: False + Library Build-Depends: base >= 4.2 && <5, syb >= 0.1 && < 0.5, @@ -358,6 +362,10 @@ Executable make-pandoc-man-pages old-time >= 1.0 && < 1.2, time >= 1.2 && < 1.5 Default-Language: Haskell98 + if flag(make-pandoc-man-pages) + Buildable: True + else + Buildable: False Test-Suite test-pandoc Type: exitcode-stdio-1.0 |