From e42406c070bd2c80143e04423d9a3c089baee0e0 Mon Sep 17 00:00:00 2001
From: maxice8 <thinkabit.ukim@gmail.com>
Date: Tue, 7 Aug 2018 17:55:59 -0300
Subject: [PATCH] setup/install.sh: transparently deal with gzipped manpages

[ci skip]
---
 common/environment/setup/install.sh | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/common/environment/setup/install.sh b/common/environment/setup/install.sh
index 8ceaefd1a24..f9772e03854 100644
--- a/common/environment/setup/install.sh
+++ b/common/environment/setup/install.sh
@@ -59,6 +59,14 @@ _vman() {
 
 	suffix=${target##*.}
 
+	if [[ $suffix == gz ]]
+	then
+		gunzip "$file"
+		file="${file:0:-3}"
+		target="${target:0:-3}"
+		suffix=${target##*.}
+	fi
+
 	if  [[ $target =~ (.*)\.([a-z][a-z](_[A-Z][A-Z])?)\.(.*) ]]
 	then
 		name=${BASH_REMATCH[1]}.${BASH_REMATCH[4]}