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
..
.gitignore	Fix makebuildserver after rename, tidy gitignores	2013-12-30 17:18:45 +01:00
fdl.texi	Move docs to docs directory, and generate HTML	2012-02-23 14:32:35 +00:00
fdroid.texi	More list comprehension fixes	2014-09-13 13:07:21 +02:00
gendocs_template	Update gendocs from 2011-04 to 2013-02	2013-12-30 16:33:42 +01:00
gendocs.sh	do not include timestamps in .gz files of docs	2014-10-23 14:26:11 -04:00
index_versions.md	Bump index version to 11, add index version changelog	2014-01-07 17:59:02 +01:00
update.sh	Docs for importing	2012-02-27 20:38:00 +00:00