oasis

commit: 43fe67e5cbb60e035fffc44cf9566765f8d07fc7
parent a6a7143e38292b8db14edef008fe8cd61ebf300b
Author: Michael Forney <mforney@mforney.org>
Date:   Thu, 11 Jan 2024 14:41:05 -0800

Make man page compression optional

Diffstat:
M
config.def.lua
3
+++
M
ninja.lua
7
+++++--

2 files changed, 8 insertions(+), 2 deletions(-)
diff --git 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
diff --git 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