docs: Update front page to display date of last update.

dpgeorge · dpgeorge · commit 0e3722137f1c · 2014-11-04T18:51:29.000Z
diff --git a/docs/conf.py b/docs/conf.py
@@ -143,7 +143,7 @@
 
 # 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'
+html_last_updated_fmt = '%d %b %Y'
 
 # If true, SmartyPants will be used to convert quotes and dashes to
 # typographically correct entities.
diff --git a/docs/topindex.html b/docs/topindex.html
@@ -1,5 +1,13 @@
 {% extends "defindex.html" %}
-{% block tables %}
+{% block body %}
+
+  <h1>Micro Python documentation</h1>
+
+  <p>
+    {{ _('Welcome! This is the documentation for Micro Python') }}
+    v{{ release|e }}{% if last_updated %}, {{ _('last updated') }} {{ last_updated|e }}{% endif %}.
+  </p>
+
   <p><strong>Documentation for Micro Python and the pyboard:</strong></p>
 
   <table class="contentstable"><tr>
