6 commits

Author	SHA1	Message	Date
Reiner Herrmann	a2b20f4c84	docs: reproducibly build docs by using deterministic timestamp ... Use the SOURCE_DATE_EPOCH timestamp [1] if it is available for timestamps in the tarballs and the HTML documentation. Also fix permissions inside tarballs to normalize umask variations. [1]: https://reproducible-builds.org/specs/source-date-epoch/	2015-10-30 19:27:32 +01:00
Reiner Herrmann	f3d0d44a60	docs: clear timestamp embedded in DVI comment field	2015-10-30 19:27:18 +01:00
Daniel Martí	377199d241	Follow-up to 5a0129d8: also replace file mentions	2015-08-29 20:19:32 -07:00
Hans-Christoph Steiner	93adee0e2b	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.	2014-10-23 14:26:11 -04:00
Daniel Martí	13cbb7949e	Update gendocs from 2011-04 to 2013-02	2013-12-30 16:33:42 +01:00
Ciaran Gultnieks	9ca42ec9f4	Manual in lots of formats	2012-02-25 08:30:43 +00:00