diff options
author | John MacFarlane <fiddlosopher@gmail.com> | 2013-10-06 18:04:18 -0700 |
---|---|---|
committer | John MacFarlane <fiddlosopher@gmail.com> | 2013-10-06 18:04:18 -0700 |
commit | ed061b91c8e3247e1d3b1538eca24687adf0e575 (patch) | |
tree | 28abe21e2ee93ae1bec1accc22e52d10610f57d5 /pandoc.cabal | |
parent | dbd4aee7305ed82c9daf33a59fd0c29d3e3461d6 (diff) |
Setup.hs: Better way of handling man page building.
Previously we tried to remove make-pandoc-man-pages from the list
of packages to be haddocked, installed, copied, etc.
It works better to set 'Buildable: False' on make-pandoc-man-pages,
then have the buildHook temporarily set Buildable to True. This
allows make-pandoc-man-pages to be built (and used in generating
the man pages), but not installed.
Diffstat (limited to 'pandoc.cabal')
-rw-r--r-- | pandoc.cabal | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pandoc.cabal b/pandoc.cabal index a18e1cff4..71f1b1f62 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -361,10 +361,12 @@ Executable pandoc Main-Is: pandoc.hs Buildable: True --- NOTE: A trick in Setup.hs makes sure this won't be installed: Executable make-pandoc-man-pages Main-Is: make-pandoc-man-pages.hs Hs-Source-Dirs: man + Buildable: False + -- Setup.hs will make this look buildable in build phase, + -- but it won't be copied/installed Build-Depends: pandoc, base >= 4.2 && < 5, directory >= 1 && < 1.3, |