32 lines
1.2 KiB
Diff
32 lines
1.2 KiB
Diff
From: Ben Hutchings <ben@decadent.org.uk>
|
|
Date: Wed, 8 Jul 2015 20:06:44 +0100
|
|
Subject: DocBook: Don't store mtime (or name) in compressed man pages
|
|
Bug-Debian: https://bugs.debian.org/769844
|
|
Forwarded: http://thread.gmane.org/gmane.linux.documentation/31870/focus=31872
|
|
|
|
The mtime on a man page is the build time. As gzip stores the mtime
|
|
and original name in the compressed file by default, this makes
|
|
compressed man pages unreproducible. Neither of these are important
|
|
metadata in this case, so turn this off.
|
|
|
|
Reported-by: Jérémy Bobbio <lunar@debian.org>
|
|
Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
|
|
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
|
|
---
|
|
Documentation/DocBook/Makefile | 2 +-
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
diff --git a/Documentation/DocBook/Makefile b/Documentation/DocBook/Makefile
|
|
index b6a6a2e..11a4145 100644
|
|
--- a/Documentation/DocBook/Makefile
|
|
+++ b/Documentation/DocBook/Makefile
|
|
@@ -56,7 +56,7 @@ htmldocs: $(HTML)
|
|
|
|
MAN := $(patsubst %.xml, %.9, $(BOOKS))
|
|
mandocs: $(MAN)
|
|
- find $(obj)/man -name '*.9' | xargs gzip -f
|
|
+ find $(obj)/man -name '*.9' | xargs gzip -nf
|
|
|
|
installmandocs: mandocs
|
|
mkdir -p /usr/local/man/man9/
|