summaryrefslogtreecommitdiff
path: root/ninja.lua
diff options
context:
space:
mode:
Diffstat (limited to 'ninja.lua')
-rw-r--r--ninja.lua7
1 files changed, 5 insertions, 2 deletions
diff --git a/ninja.lua b/ninja.lua
index ed73a955..7481be4d 100644
--- a/ninja.lua
+++ b/ninja.lua
@@ -498,8 +498,11 @@ function man(srcs, section)
if ext then base = base:sub(1, -(#ext + 2)) end
ext = section
end
- build('gzip', out, src)
- file('share/man/man'..ext..'/'..base..'.'..ext, '644', out)
+ if config.gzman ~= false then
+ build('gzip', out, src)
+ src = out
+ end
+ file('share/man/man'..ext..'/'..base..'.'..ext, '644', src)
end
end