From aabd324c10ecd7ddd89e315fe92702b345600132 Mon Sep 17 00:00:00 2001
From: Mikolaj Izdebski <mizdebsk@redhat.com>
Date: Tue, 7 Jun 2022 10:50:08 +0200
Subject: [PATCH] Don't assume that manpage is gzip-compressed

---
 jflex.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jflex.spec b/jflex.spec
index 47ace01..224183e 100644
--- a/jflex.spec
+++ b/jflex.spec
@@ -94,7 +94,7 @@ install -p -m 644 %{SOURCE4} %{buildroot}%{_mandir}/man1
 %doc doc
 %doc COPYRIGHT
 %{_bindir}/%{name}
-%{_mandir}/man1/%{name}.1.gz
+%{_mandir}/man1/%{name}.1*
 
 %files javadoc
 %doc COPYRIGHT