diff options
| author | Wolfgang Hommel <wolfcw@users.noreply.github.com> | 2021-05-11 18:42:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-11 18:42:09 +0200 |
| commit | 9a73db074b2ec47f0b336d7644309b354cf2b198 (patch) | |
| tree | a77e5e03d96975472b9984b402500aef460ec9ea | |
| parent | 9e27b2ed8b5bfdd5c57eb527d489960f5962845b (diff) | |
| parent | 932c138112827d3b7b5e3b3a8d8fc7571422bd1d (diff) | |
| download | libfaketime-9a73db074b2ec47f0b336d7644309b354cf2b198.tar.gz | |
Merge pull request #328 from jelly/gzip_reproducible
Do not store the timestamp in the gzip
| -rw-r--r-- | man/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/Makefile b/man/Makefile index 807c157..2e47b6d 100644 --- a/man/Makefile +++ b/man/Makefile @@ -6,7 +6,7 @@ all: install: $(INSTALL) -Dm0644 faketime.1 "${DESTDIR}${PREFIX}/share/man/man1/faketime.1" - gzip -f "${DESTDIR}${PREFIX}/share/man/man1/faketime.1" + gzip -nf "${DESTDIR}${PREFIX}/share/man/man1/faketime.1" uninstall: rm -f "${DESTDIR}${PREFIX}/share/man/man1/faketime.1.gz" |