translations = {
'cs': {
'English': 'Česky',
- 'Other languages': 'Other languages',
+ 'Other languages': 'Jiné jazyky',
},
'de': {
'English': 'Deutsch',
},
'zh': {
'English': '中文',
- 'Other languages': 'Other languages',
+ 'Other languages': '其它语言',
},
}
# questionable
if (not link.startswith("../doc/")):
if (link.endswith(".html")):
- langlink = addLangExt(link[:-5], lang, "html")
+ langlink = addLangExt(link[:-5], lang, "html")
line = line.replace(link, langlink)
if (link.endswith(".pdf")):
- langlink = addLangExt(link[:-4], lang, "pdf")
+ langlink = addLangExt(link[:-4], lang, "pdf")
line = line.replace(link, langlink)
### add google tracker header
if (line.find("</head>") >= 0):