From 5e7c011b92c5abaace7ab209e8f67b835d3893eb Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Juan=20Luis=20Cano=20Rodr=C3=ADguez?= Date: Wed, 16 Jun 2021 14:35:50 +0200 Subject: [PATCH] Fix broken link to third-party extensions --- doc/_templates/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/_templates/index.html b/doc/_templates/index.html index a688d17c1..eb2037447 100644 --- a/doc/_templates/index.html +++ b/doc/_templates/index.html @@ -33,7 +33,7 @@
  • {%trans path=pathto('ext/builtins')%}Extensions: automatic testing of code snippets, inclusion of docstrings from Python modules (API docs), and more{%endtrans%}
  • -
  • {%trans path=pathto("usage/extensions")%}Contributed extensions: dozens of +
  • {%trans path=pathto("usage/extensions/index")%}Contributed extensions: dozens of extensions contributed by users; most of them installable from PyPI{%endtrans%}