docs: Add a "Last updated on:" HTML footer

rhc54 · rhc54 · commit c765d674496d · 2025-05-05T19:52:00.000-06:00
Show the build time of the docs. Ported from open-mpi/ompi#13236 Signed-off-by: Ralph Castain <rhc@pmix.org>
diff --git a/docs/conf.py b/docs/conf.py
@@ -182,6 +182,10 @@
     'configurator' : 'configurator.html',
 }
 
+# Put a "Last updated on:" timestamp at the bottom of each page.
+html_last_updated_fmt = '%Y-%m-%d %H:%M:%S %Z'
+
+
 # -- Options for MAN output -------------------------------------------------
 
 import os

Original file line number	Diff line number	Diff line change
`@@ -182,6 +182,10 @@`
`182`	`182`	`'configurator' : 'configurator.html',`
`183`	`183`	`}`
`184`	`184`
	`185`	`+# Put a "Last updated on:" timestamp at the bottom of each page.`
	`186`	`+html_last_updated_fmt = '%Y-%m-%d %H:%M:%S %Z'`
	`187`	`+`
	`188`	`+`
`185`	`189`	`# -- Options for MAN output -------------------------------------------------`
`186`	`190`
`187`	`191`	`import os`