From 01075b7183e434e2b7e3fc574569091e20137be0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Pedersen?= Date: Fri, 14 Dec 2018 14:09:57 +0100 Subject: [PATCH] doc: Add a last-updated timestamp to html Change-Id: I971516f45b52dcb73761f9f022a831bf329a5b6f Reviewed-on: https://forge.frm2.tum.de/review/19621 Tested-by: JenkinsCodeReview Reviewed-by: Jens Krueger Reviewed-by: Enrico Faulhaber --- doc/source/conf.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/doc/source/conf.py b/doc/source/conf.py index 4f7e94d..de2d5c2 100644 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -98,6 +98,12 @@ todo_include_todos = True import sphinx_rtd_theme html_theme = 'sphinx_rtd_theme' +# If not None, a 'Last updated on:' timestamp is inserted at every page +# bottom, using the given strftime format. +# The empty string is equivalent to '%b %d, %Y'. +# +html_last_updated_fmt = '%Y-%m-%d %H:%M' + # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the