diff options
| author | Jim Mussared | 2019-11-06 17:09:29 +1100 |
|---|---|---|
| committer | Damien George | 2019-11-07 14:45:55 +1100 |
| commit | 59850c0b83e738880c8ce56c39748ae2fcb7dce1 (patch) | |
| tree | a7cdaa384db3e2d9c152fb4b0cd2200c3383806b | |
| parent | 1295146a6f639091db854a6c3228ce84a35bf994 (diff) | |
docs/templates/topindex.html: Replace usage of deprecated defindex.html.
defindex.html (used by topindex.html) is deprecated, but topindex.html was
already identical other than setting the title, so just inherit directly
from layout.html.
| -rw-r--r-- | docs/templates/topindex.html | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/templates/topindex.html b/docs/templates/topindex.html index 08bf4c73e..ff766b0cf 100644 --- a/docs/templates/topindex.html +++ b/docs/templates/topindex.html @@ -1,4 +1,5 @@ -{% extends "defindex.html" %} +{% extends "layout.html" %} +{% set title = _('Overview') %} {% block body %} <h1>MicroPython documentation</h1> |
