commit 73a0593

Michael Forney  ·  2024-01-11 22:41:05 +0000 UTC
parent b6a761e 
Make man page compression optional
2 files changed,  +8, -2
M config.def.lua
M ninja.lua
M config.def.lua
+3, -0 
 1@@ -7,6 +7,9 @@ return {
 2 	-- install prefix
 3 	prefix='',
 4 
 5+	-- compress man pages
 6+	gzman=true,
 7+
 8 	-- package/file selection
 9 	fs={
10                 -- Each entry contains a list of packages, a list of patterns to
M ninja.lua
+5, -2 
 1@@ -498,8 +498,11 @@ function man(srcs, section)
 2 			if ext then base = base:sub(1, -(#ext + 2)) end
 3 			ext = section
 4 		end
 5-		build('gzip', out, src)
 6-		file('share/man/man'..ext..'/'..base..'.'..ext, '644', out)
 7+		if config.gzman ~= false then
 8+			build('gzip', out, src)
 9+			src = out
10+		end
11+		file('share/man/man'..ext..'/'..base..'.'..ext, '644', src)
12 	end
13 end
14