mirror of
https://github.com/nix-community/home-manager
synced 2024-11-23 13:13:26 +00:00
8bdb74eaff
After migrating to nixos-render-docs, the extension move to .xtml. Unfortunately, this broke links to the previous Options Page. This patch provides a basic redirect support to the new Options Page.
15 lines
447 B
HTML
15 lines
447 B
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
<head>
|
|
<title>Redirecting…</title>
|
|
<meta charset="utf-8">
|
|
<link rel="canonical" href="options.xhtml">
|
|
<noscript><meta http-equiv="refresh" content="0; url=options.xhtml"></noscript>
|
|
</head>
|
|
<body>
|
|
<h1>Redirecting…</h1>
|
|
<script>
|
|
window.location.href = "options.xhtml" + (window.location.search || "") + (window.location.hash || "");
|
|
</script>
|
|
</body>
|
|
</html>
|