| commit | 32c1735c4091ef0de8e39f68a9d83a07450b959b | [log] [tgz] |
|---|---|---|
| author | Ben Hutchings <ben@decadent.org.uk> | Wed Jul 08 20:06:44 2015 +0100 |
| committer | Jonathan Corbet <corbet@lwn.net> | Fri Jul 10 11:03:11 2015 -0600 |
| tree | 9349f9d9b009d450d1e459c70c3b9b22c23e7531 | |
| parent | 2e106e4df28aa264f9ded7e5be3733224f2e4f93 [diff] |
DocBook: Don't store mtime (or name) in compressed man pages 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>