diff options
author | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-02-09 14:49:45 +0200 |
---|---|---|
committer | Manos Pitsidianakis <el13635@mail.ntua.gr> | 2020-02-09 14:49:45 +0200 |
commit | 555654d5e3659415518b4fd3e8724e22e36f0d09 (patch) | |
tree | d932891e283f9d4404e1912659591bdd23178510 /Makefile | |
parent | fead7a5da40093bed162abd2c96cf3609fe26b6e (diff) |
Makefile: don't emit timestamps with gzip
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 "";; \ |