diff options
author | Clint Adams <clint@debian.org> | 2012-11-07 14:57:17 -0500 |
---|---|---|
committer | Clint Adams <clint@debian.org> | 2012-11-07 14:57:17 -0500 |
commit | ff0061281f23b730034aeeb5de0568d6eec08b32 (patch) | |
tree | 553a26666184fab4ff9d07f18f74594116f702fe | |
parent | 4cd573c61f61885cb368b40dccd1b458c39846c7 (diff) | |
download | pandoc-ff0061281f23b730034aeeb5de0568d6eec08b32.tar.gz |
Use LBI buildDir instead of hardcoded "dist" </> "build".
-rw-r--r-- | Setup.hs | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -34,10 +34,10 @@ main = do -- | Build man pages from markdown sources in man/ makeManPages :: Args -> BuildFlags -> PackageDescription -> LocalBuildInfo -> IO () -makeManPages _ flags _ _ = do +makeManPages _ flags _ lbi = do let verbosity = fromFlag $ buildVerbosity flags let args = ["--verbose" | verbosity /= silent] - rawSystem ("dist" </> "build" </> "make-pandoc-man-pages" </> "make-pandoc-man-pages") + rawSystem (buildDir lbi </> "make-pandoc-man-pages" </> "make-pandoc-man-pages") args >>= exitWith manpages :: [FilePath] |