Deduplicate language list.

Author: JulienPalard

build_docs.py

@@ -35,13 +35,15 @@
 from collections import namedtuple
 from contextlib import contextmanager, suppress
 import filecmp
+import json
 import logging
 import logging.handlers
 import os
 from pathlib import Path
 import re
 from shlex import quote
 import shutil
+from string import Template
 import subprocess
 import sys
 from datetime import datetime
@@ -266,7 +268,24 @@ def setup_switchers(html_root):
     - Cross-link various languages in a language switcher
     - Cross-link various versions in a version switcher
     """
-    shutil.copy("switchers.js", os.path.join(html_root, "_static"))
+    with open("switchers.js") as switchers_template_file:
+        with open(
+            os.path.join(html_root, "_static", "switchers.js"), "w"
+        ) as switchers_file:
+            template = Template(switchers_template_file.read())
+            switchers_file.write(
+                template.safe_substitute(
+                    {
+                        "LANGUAGES": json.dumps(
+                            {
+                                language.tag: language.name
+                                for language in LANGUAGES
+                                if language.in_prod
+                            }
+                        )
+                    }
+                )
+            )
     for file in Path(html_root).glob("**/*.html"):
         depth = len(file.relative_to(html_root).parts) - 1
         script = f"""    <script type="text/javascript" src="{'../' * depth}_static/switchers.js"></script>\n"""

switchers.js

@@ -19,14 +19,7 @@
     '2.7': '2.7',
   };
 
-  var all_languages = {
-      'en': 'English',
-      'fr': 'French',
-      'ja': 'Japanese',
-      'ko': 'Korean',
-      'pt-br': 'Brazilian Portuguese',
-      'zh-cn': 'Simplified Chinese',
-  };
+  var all_languages = $LANGUAGES;
 
   function build_version_select(current_version, current_release) {
     var buf = ['<select>'];