doc: Use RELEASE_DATE to set PDF timestamps using faketime
authorKeith Packard <keithp@keithp.com>
Sat, 6 Oct 2018 04:40:13 +0000 (21:40 -0700)
committerKeith Packard <keithp@keithp.com>
Sat, 6 Oct 2018 04:40:13 +0000 (21:40 -0700)
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>

No differences found