diff options
| author | Michael Forney <mforney@mforney.org> | 2024-01-11 14:41:05 -0800 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2024-02-07 20:50:18 -0800 |
| commit | 43fe67e5cbb60e035fffc44cf9566765f8d07fc7 (patch) | |
| tree | f35adf061baeb6e2400cd480c7f8af7a050f5a21 | |
| parent | a6a7143e38292b8db14edef008fe8cd61ebf300b (diff) | |
Make man page compression optional
| -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 |