diff options
| -rw-r--r-- | config.def.lua | 3 | ||||
| -rw-r--r-- | ninja.lua | 7 |
2 files changed, 8 insertions, 2 deletions
diff --git a/config.def.lua b/config.def.lua index 4007ca11..f3ce56a0 100644 --- a/config.def.lua +++ b/config.def.lua @@ -7,6 +7,9 @@ return { -- install prefix prefix='', + -- compress man pages + gzman=true, + -- package/file selection fs={ -- Each entry contains a list of packages, a list of patterns to @@ -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 |