diff --git a/doc/_templates/index.html b/doc/_templates/index.html index c02641624..755a79122 100644 --- a/doc/_templates/index.html +++ b/doc/_templates/index.html @@ -30,7 +30,7 @@ module indices{%endtrans%}
  • {%trans%}Code handling: automatic highlighting using the Pygments highlighter{%endtrans%}
  • -
  • {%trans path=pathto('extensions')%}Extensions: automatic testing of code snippets, inclusion of +
  • {%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('develop')%}Contributed extensions: more than