diff options
| author | Reiner Herrmann <reiner@reiner-h.de> | 2015-11-10 23:45:21 +0000 |
|---|---|---|
| committer | Mattia Rizzolo <mattia@mapreri.org> | 2015-11-10 23:45:21 +0000 |
| commit | 6b9210150fe78984d81b705e981bf3f97d0f5ad0 (patch) | |
| tree | 5d74f40d1b4461c33a95d3503299ae92b63b8680 /debian | |
| parent | 4344e73ce59ab45a38cb9a2b12a2a148d678719b (diff) | |
| download | pbuilder-6b9210150fe78984d81b705e981bf3f97d0f5ad0.tar pbuilder-6b9210150fe78984d81b705e981bf3f97d0f5ad0.tar.gz | |
doc/Makefile: make the build reproducible by using a fixed temp dir to build the pdf
Closes: #804729
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions