diff doc/conf.py @ 77:025005f1234f

Print the date of the docu more intelligently: use |today| together with keyword expansion
author Franz Glasner <hg@dom66.de>
date Wed, 14 Mar 2018 23:44:37 +0100
parents 9d0d9446de08
children 3a8f712d27df
line wrap: on
line diff
--- a/doc/conf.py	Wed Mar 14 23:43:54 2018 +0100
+++ b/doc/conf.py	Wed Mar 14 23:44:37 2018 +0100
@@ -30,6 +30,14 @@
 # The full version, including alpha/beta/rc tags
 release = configmix.__version__
 
+today = '$Date$'
+if len(today) == 6 \
+       and today[0] == '$' and today[1:-2] == 'Date' \
+       and today[-1] == '$':
+    del today
+else:
+    today = today[7:today.find(' ', 7)]
+
 
 # -- General configuration ---------------------------------------------------