From 555654d5e3659415518b4fd3e8724e22e36f0d09 Mon Sep 17 00:00:00 2001
From: Manos Pitsidianakis <el13635@mail.ntua.gr>
Date: Sun, 9 Feb 2020 14:49:45 +0200
Subject: [PATCH] Makefile: don't emit timestamps with gzip

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 0132f9870..8c831cd75 100644
--- a/Makefile
+++ b/Makefile
@@ -113,7 +113,7 @@ install-doc:
 			SECTION=`echo $${MANPAGE} | rev | cut -d "." -f 1`; \
 			MANPAGEPATH=${DESTDIR}${MANDIR}/man$${SECTION}/$${MANPAGE}.gz; \
 			echo "  * installing $${MANPAGE} → ${GREEN}$${MANPAGEPATH}${ANSI_RESET}"; \
-			gzip < $${MANPAGE} > $${MANPAGEPATH} \
+			gzip -n < $${MANPAGE} > $${MANPAGEPATH} \
     ; done ; \
 	(case ":${MANPATHS}:" in \
   *:${DESTDIR}${MANDIR}:*) echo -n "";; \