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

bmwiedemann · web-flow · commit 941b3b7f4473 · 2024-07-16T23:34:00.000-06:00
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']

Original file line number	Diff line number	Diff line change
`@@ -347,7 +347,8 @@`
`347`	`347`	`}`
`348`	`348`
`349`	`349`	`# This 'Last updated on:' timestamp is inserted at the bottom of every page.`
`350`		`-html_last_updated_fmt = time.strftime('%b %d, %Y (%H:%M UTC)', time.gmtime())`
	`350`	`+html_time = int(os.environ.get('SOURCE_DATE_EPOCH', time.time()))`
	`351`	`+html_last_updated_fmt = time.strftime('%b %d, %Y (%H:%M UTC)', time.gmtime(html_time))`
`351`	`352`
`352`	`353`	`# Path to find HTML templates.`
`353`	`354`	`templates_path = ['tools/templates']`