add git commit date / sha1 to sphinx html docs

Change-Id: Ie286200e3f569d6d5b0debf66baf24229b0b86ab

diff --git a/doc/source/conf.py b/doc/source/conf.py
index f63ed82bd5efbe3ea54f0931b98177d51746acd6..7e4e504302e8e34170a9410de1b24ca627c11432 100644 (file)
--- a/doc/source/conf.py
+++ b/doc/source/conf.py
@@ -169,6 +169,8 @@ html_static_path = ['_static']
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.
 #html_last_updated_fmt = '%b %d, %Y'
+git_cmd = "git log --pretty=format:'%ad, commit %h' --date=local -n1"
+html_last_updated_fmt = os.popen(git_cmd).read()
 
 # If true, SmartyPants will be used to convert quotes and dashes to
 # typographically correct entities.