diff --git a/beta/assets/document-branches.js b/beta/assets/document-branches.js
index eb7a443d..75c6e75d 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 + ".html");
+ location.assign(select.value);
select.value = documentBranch;
}
});
diff --git a/documentation-generator/run.py b/documentation-generator/run.py
index 93a74994..aefe8a75 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 b4c8b4f7..610987db 100644
--- a/documentation-generator/template.html
+++ b/documentation-generator/template.html
@@ -1,3 +1,6 @@
+---
+permalink: /$branch$
+---