diff options
| author | Keith Packard <keithp@keithp.com> | 2018-10-05 21:40:13 -0700 |
|---|---|---|
| committer | Keith Packard <keithp@keithp.com> | 2018-10-05 21:40:13 -0700 |
| commit | cc70746e8efa6cadb23cbfcb11ddb51574c512a9 (patch) | |
| tree | 46d2215e2b6f3d7de02f9edabf4cc7618d846610 /map-server | |
| parent | 8e87b2626cdd81c128ac0cb5db03350aff67feac (diff) | |
doc: Use RELEASE_DATE to set PDF timestamps using faketime
This ensures that the generated PDF files do not depend on the time of
the build and only on the date of the release.
Signed-off-by: Keith Packard <keithp@keithp.com>
Diffstat (limited to 'map-server')
0 files changed, 0 insertions, 0 deletions