From 59de97e9412dab937702d9d9d1f91fa6c6fcb562 Mon Sep 17 00:00:00 2001
From: Randy Palamar <randy@rnpnr.xyz>
Date: Thu, 8 Feb 2024 05:54:13 -0700
Subject: man: don't duplicate section extension

---
 ninja.lua | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'ninja.lua')

diff --git a/ninja.lua b/ninja.lua
index 7481be4d..7b6ed3eb 100644
--- a/ninja.lua
+++ b/ninja.lua
@@ -494,15 +494,15 @@ function man(srcs, section)
 
 		local base = src:match('[^/]*$')
 		local ext = base:match('%.([^.]*)$')
-		if section then
-			if ext then base = base:sub(1, -(#ext + 2)) end
-			ext = section
-		end
+		if ext then base = base:sub(1, -(#ext + 2)) end
+		if section then ext = section end
+		local path = 'share/man/man'..ext..'/'..base..'.'..ext
 		if config.gzman ~= false then
 			build('gzip', out, src)
 			src = out
+			path = path..'.gz'
 		end
-		file('share/man/man'..ext..'/'..base..'.'..ext, '644', src)
+		file(path, '644', src)
 	end
 end
 
-- 
cgit v1.2.3