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

…121872)
python · Jul 17, 2024 · 941b3b7 · 941b3b7
1 parent f036a46
commit 941b3b7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Doc/conf.py b/Doc/conf.py
@@ -347,7 +347,8 @@
 }
 
 # 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']