summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorGravatar Joey Hess <joey@kitenet.net>2012-09-01 15:20:45 -0400
committerGravatar Joey Hess <joey@kitenet.net>2012-09-01 15:20:45 -0400
commit87b9da70e6436bda534425b82553972c55208ac2 (patch)
treed46ebad4cf997ee0cd513d0a234a013e05c445a4 /Build
parent10a48da98805df4f903853c40c8c7dd7ff33b3be (diff)
avoid installing man pages when they do not exist
Man pages are shipped prebuilt in cabal tarball, but will not be available when cloning git and running cabal install.
Diffstat (limited to 'Build')
0 files changed, 0 insertions, 0 deletions