"pelzflorian (Florian Pelz)" <pelzflor...@pelzflorian.de> writes: > The problem is that @documentlanguage in Texinfo differs from the > locale sometimes.
This was untrue. @documentlanguage is the locale, but the locale in the URL assigned in htmlxref is not capitalized, because it is a URL (?). (In fact, URLs are case-sensitive, such as https://guix.gnu.org/zh-CN, but anyway.) Still, some website translations have no translated manual or cookbook, as we discussed on IRC, so I made the change: > I will push such a change and adapt the translations directly in the PO > file, then revert your #:append-locale. Done. Regards, Florian
