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

This shows the build time of the document.  Will be useful for
docs.open-mpi.org and for the pre-built HTML pages that we ship in
distribution tarballs.

Signed-off-by: Jeff Squyres <[email protected]>

Author: jsquyres

docs/conf.py

@@ -233,6 +233,8 @@ def get_tarball_version(path, expr):
 # so a file named "default.css" will overwrite the builtin "default.css".
 #html_static_path = ['_static']
 
+# Put a "Last updated on:" timestamp at the bottom of each page.
+html_last_updated_fmt = '%Y-%m-%d %H:%M:%S %Z'
 
 # Short hand external links
 # Allows smoother transitioning for commonly used articles and sites