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 /PROFILING | |
| 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 'PROFILING')
0 files changed, 0 insertions, 0 deletions