From 8650dee4bc6bbd868bfb09face4412aa7179f621 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sebasti=C3=A1n=20Ram=C3=ADrez?= Date: Sat, 24 Oct 2020 13:32:59 +0200 Subject: [PATCH] =?UTF-8?q?=F0=9F=90=9B=20Fix=20docs=20order=20generation?= =?UTF-8?q?=20for=20partial=20translations=20(#2238)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- scripts/docs.py | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/scripts/docs.py b/scripts/docs.py index aaf53bf64..25ca51900 100644 --- a/scripts/docs.py +++ b/scripts/docs.py @@ -171,7 +171,11 @@ def build_lang( new_key += (key_part,) use_lang_file_to_nav[file] = new_key key_to_section = {(): []} - for file, file_key in use_lang_file_to_nav.items(): + for file, orig_file_key in file_to_nav.items(): + if file in use_lang_file_to_nav: + file_key = use_lang_file_to_nav[file] + else: + file_key = orig_file_key section = get_key_section(key_to_section=key_to_section, key=file_key) section.append(file) new_nav = key_to_section[()]