diff --git a/beta/assets/document-branches.js b/beta/assets/document-branches.js
index 75c6e75d..eb7a443d 100644
--- a/beta/assets/document-branches.js
+++ b/beta/assets/document-branches.js
@@ -13,7 +13,7 @@ window.addEventListener("load", function() {
}
select.addEventListener("change", function() {
if (select.value !== documentBranch) {
- location.assign(select.value);
+ location.assign(select.value + ".html");
select.value = documentBranch;
}
});
diff --git a/documentation-generator/run.py b/documentation-generator/run.py
index aefe8a75..93a74994 100755
--- a/documentation-generator/run.py
+++ b/documentation-generator/run.py
@@ -124,9 +124,9 @@ def make_index_html(branch):
return """\
-
+
Redirect
-Please follow this link.
+Please follow this link.
""" % (branch, branch)
diff --git a/documentation-generator/template.html b/documentation-generator/template.html
index 814ee84f..b4c8b4f7 100644
--- a/documentation-generator/template.html
+++ b/documentation-generator/template.html
@@ -1,6 +1,3 @@
----
-permalink: /beta/$branch$/
----