diff options
| -rw-r--r-- | docs/conf.py | 2 | ||||
| -rw-r--r-- | docs/topindex.html | 10 |
2 files changed, 10 insertions, 2 deletions
diff --git a/docs/conf.py b/docs/conf.py index 124744d496..16ae41bec3 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -143,7 +143,7 @@ html_theme_path = ['.'] # 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 index f0588c46a2..fb1e048d40 100644 --- 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> |