Makefile: don't emit timestamps with gzip

pull/234/head
Manos Pitsidianakis 4 years ago
parent fead7a5da4
commit 555654d5e3
No known key found for this signature in database
GPG Key ID: 73627C2F690DF710

@ -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 "";; \

Loading…
Cancel
Save