gh-121871: Allow overriding docs build date with SOURCE_DATE_EPOCH (#121872)

This commit is contained in:
Bernhard M. Wiedemann 2024-07-17 07:34:00 +02:00 committed by GitHub
parent f036a463db
commit 941b3b7f44
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions

View File

@ -347,7 +347,8 @@ html_context = {
}
# This 'Last updated on:' timestamp is inserted at the bottom of every page.
html_last_updated_fmt = time.strftime('%b %d, %Y (%H:%M UTC)', time.gmtime())
html_time = int(os.environ.get('SOURCE_DATE_EPOCH', time.time()))
html_last_updated_fmt = time.strftime('%b %d, %Y (%H:%M UTC)', time.gmtime(html_time))
# Path to find HTML templates.
templates_path = ['tools/templates']