michaelh/zephyr
1
0
Fork 0
Code Releases Activity

doc: keep IDs when redirecting URLs

Browse source 
When redirecting from old-topic.html#some-id to new-topic.html,
the ID is ignored.
Not sure if it is possible to keep the ID in the meta redirect,
but at least in the JavaScript version we should keep it and
redirect from old-topic.html#some-id to new-topic.html#some-id.

Signed-off-by: Ruth Fuchss <ruth.fuchss@nordicsemi.no>
This commit is contained in:
Ruth Fuchss 2020-03-09 12:16:44 +01:00 • committed by Anas Nashif
commit 828d707465
1 changed files with 9 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

11
doc/extensions/zephyr/html_redirects.py
View file

@ -24,12 +24,19 @@ import os.path
from sphinx.builders.html import StandaloneHTMLBuilder
REDIRECT_TEMPLATE = """
REDIRECT_TEMPLATE = r"""
<html>
<head>
<meta http-equiv="refresh" content="0; url=$NEWURL" />
<script>
window.location.href = "$NEWURL"
var id=window.location.href.split("#")[1];
if (id && (/^[a-zA-Z\:\/0-9\_\-\.]+$/.test(id))) {
window.location.href = "$NEWURL"+"#"+id;
}
else {
window.location.href = "$NEWURL";
};
</script>
</head>
<body>