path: root/.gitmodules
diff options
authorJohn MacFarlane <>2013-10-06 18:04:18 -0700
committerJohn MacFarlane <>2013-10-06 18:04:18 -0700
commited061b91c8e3247e1d3b1538eca24687adf0e575 (patch)
tree28abe21e2ee93ae1bec1accc22e52d10610f57d5 /.gitmodules
parentdbd4aee7305ed82c9daf33a59fd0c29d3e3461d6 (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 '.gitmodules')
0 files changed, 0 insertions, 0 deletions