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