From 59850c0b83e738880c8ce56c39748ae2fcb7dce1 Mon Sep 17 00:00:00 2001
From: Jim Mussared <jim.mussared@gmail.com>
Date: Wed, 6 Nov 2019 17:09:29 +1100
Subject: [PATCH] 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.
---
 docs/templates/topindex.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/templates/topindex.html b/docs/templates/topindex.html
index 08bf4c73e7..ff766b0cf2 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>