Translating interface terms

[clrh]

I am looking for a way to translate properly interface term like: "Page contents", "Hide", "Search" etc. There is probably a way to do it with Sphinx, but I don't see why. I tryied with locales and shpinx but I don't have these terms.

I take any tip. Thanks.

[dantownsend]

Hi @clrh

I'm not sure what the proper workflow is for translations in Sphinx, but having looked at the builtin templates, they used the usual Python approach:

{{ _("Translate Me") }}

I've opened a PR which does this.

As for the translations themselves, I'm not sure if this is something the user does, or we need to bundle with the template.

[clrh]

So if the theme doesn't use this, I can just redefine the template locally ?