diff options
| author | Jack Lloyd <[email protected]> | 2017-09-19 20:40:41 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-09-19 20:40:41 -0400 |
| commit | d52c9cc9402babca9ab04e04dae149fd2c9e8465 (patch) | |
| tree | 692db7f1d0749561eba6beb97492e9ab0eebf4f7 /doc/manual | |
| parent | 1fc32b718bc65a9ff0bcb0606d39c4ed69185943 (diff) | |
Improvements to distribution script
All timestamps are set based on the release date so we create the
exact same archive each time regardless of when the script is run.
Modulo some timezone issue anyway. This only involved one horrible hack.
Partial port to Python3 but still doesn't work there.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions