diff options
author | David Kalnischkies <david@kalnischkies.de> | 2015-08-27 18:13:00 +0200 |
---|---|---|
committer | David Kalnischkies <david@kalnischkies.de> | 2015-08-27 18:16:50 +0200 |
commit | 1a3a14ac63b0c4f18de53a7bddcf79d20a5e814f (patch) | |
tree | 970faeb03bf9407e145aa607d755a08f6e8a0add /doc/en/makefile | |
parent | bf33c3bd991be704494a060730f8370fd9cad52c (diff) |
sources.list and indextargets option for pdiffs
Disabling pdiffs can be useful occasionally, like if you have a fast
local mirror where the download doesn't matter, but still want to use it
for non-local mirrors. Also, some users might prefer it to only use it
for very big indextargets like Contents.
Diffstat (limited to 'doc/en/makefile')
0 files changed, 0 insertions, 0 deletions