chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 455e76b) | patch
do not include timestamps in .gz files of docs
authorHans-Christoph Steiner <hans@eds.org>
Thu, 18 Sep 2014 17:47:47 +0000 (13:47 -0400)
committerHans-Christoph Steiner <hans@eds.org>
Thu, 23 Oct 2014 18:26:11 +0000 (14:26 -0400)
commit93adee0e2b837d8e7084d6d81bbc16c8731f986a
treed9ede0bd5ba393bbf2a23dfa312fdd94d93e4701tree | snapshot
parent455e76b9e76f1ed80fad92e6525cb44797dc38cdcommit | diff
do not include timestamps in .gz files of docs

The timestamps in the .gz files are not used for anything, and they break
the reproducibility of the build.  Giving --no-name means gzip will not
save the filename and timestamp in the gz file itself.  When gunziping, the
current file name will be used, minus the .gz suffix.
docs/gendocs.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.