Insert branches into <select> in template

documentation-generator/template.html

@@ -15,24 +15,24 @@ $endif$
 <noscript><link href="assets/screen-noscript.css" media="screen" rel="stylesheet"></noscript>
 <link href="https://github.com/Kozea/Radicale/releases.atom" type="application/atom+xml" rel="alternate" title="Radicale Releases">
 <link href="assets/icon.png" type="image/png" rel="icon">
-<title>Radicale $branch_html$ Documentation</title>
+<title>Radicale $branch$ Documentation</title>
 <meta name="description" content="Free and Open-Source CalDAV and CardDAV Server">
 <script src="assets/navigation.js"></script>
 <script src="assets/document-branches.js"></script>
 <script src="assets/narrow-menu.js"></script>
 <script src="assets/navigation-scroll-fix.js"></script>
-<script>
-    const documentBranch = "$branch_js$";
-    const documentBranches = ["$branches_js[", "]$"];
-</script>
 
 <header>
     <div class="logoContainer">
         <h1>
             Radicale
             <span class="documentBranch">
-                <span>$branch_html$</span>
-                <select></select>
+                <span>$branch$</span>
+                <select>
+$for(branches)$
+                    <option value="$it.href$"$if(it.default)$ selected$endif$>$it.name$</option>
+$endfor$
+                </select>
             </span>
         </h1>
         <p>Free and Open-Source CalDAV and CardDAV Server</p>