From 06f0815d7939d9e7953fe5d947feddab23715895 Mon Sep 17 00:00:00 2001 From: Unrud Date: Thu, 27 Feb 2020 14:31:53 +0100 Subject: [PATCH] Use permalinks --- beta/assets/document-branches.js | 2 +- documentation-generator/run.py | 4 ++-- documentation-generator/template.html | 3 +++ 3 files changed, 6 insertions(+), 3 deletions(-) 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$ +---