[xml/sgml-commit] [linuxdoc-tools] 09/16: doc/Makedoc.sh: Do not preserve gzip timestamps when creating guide.ps.gz.

[Agustín Martín Domingo]

This is an automated email from the git hooks/post-receive script.

agmartin pushed a commit to branch upstream
in repository linuxdoc-tools.

commit 38312d69fdc93422f7918c87ffda1ecf161a7aff
Author: Agustin Martin Domingo <agmartin at debian.org>
Date:   Wed Oct 14 12:07:41 2015 +0200

    doc/Makedoc.sh: Do not preserve gzip timestamps when creating guide.ps.gz.
    
      This should make build a bit less unreproducible.
      Build timestamps are still present in pdf and dvi.
    
    Signed-off-by: Agustin Martin Domingo <agmartin at debian.org>
---
 doc/Makedoc.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makedoc.sh b/doc/Makedoc.sh
index b4a26f0..92f8aac 100644
--- a/doc/Makedoc.sh
+++ b/doc/Makedoc.sh
@@ -139,7 +139,7 @@ for docformat in ${BUILDDOC_FORMATS}; do
 		    fi
 		    dvips -t ${DVIPS_PAPER} -o ./guide.ps ./guide.dvi
 		    if [ -n "`which gzip`" -a -f ./guide.ps ]; then
-			gzip -fN ./guide.ps
+			gzip -fn ./guide.ps
 		    fi
 		else
 		    echo "- ++ Warning: dvips not available, cannot build \"guide.ps\"." >&2

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-xml-sgml/linuxdoc-tools.git