commit 51f0919
hovercats
·
2024-02-10 02:01:53 +0000 UTC
parent 4c9514e
man: add '.gz' extension when needed
1 files changed,
+3,
-1
+3,
-1
1@@ -496,11 +496,13 @@ function man(srcs, section)
2 local ext = base:match('%.([^.]*)$')
3 if ext then base = base:sub(1, -(#ext + 2)) end
4 if section then ext = section end
5+ local path = 'share/man/man'..ext..'/'..base..'.'..ext
6 if config.gzman ~= false then
7 build('gzip', out, src)
8 src = out
9+ path = path..'.gz'
10 end
11- file('share/man/man'..ext..'/'..base..'.'..ext, '644', src)
12+ file(path, '644', src)
13 end
14 end
15