diff options
author | defanor <defanor@uberspace.net> | 2017-11-20 01:55:15 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2017-11-20 01:55:15 +0300 |
commit | e2936f8773bf7d84d493020bfe2fab1d8d7f3819 (patch) | |
tree | 469898a18cb1dcf67ee5b2a352062c511de17bfe /pancake.cabal | |
parent | 11267e6ce7c3c577fa36d45c0103a988dc759eba (diff) |
Create man directory if it doesn't exist
It may be missing when destdir is altered to prepare a binary release.
Diffstat (limited to 'pancake.cabal')
-rw-r--r-- | pancake.cabal | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pancake.cabal b/pancake.cabal index 9aa343c..bf9831a 100644 --- a/pancake.cabal +++ b/pancake.cabal @@ -27,6 +27,7 @@ custom-setup setup-depends: Cabal >= 1.24 , base >= 4.9 && < 5 , filepath >= 1.4.1.0 && < 2 + , directory >= 1.2.6.2 && < 2 executable pancake main-is: Pancake.hs |