mirror of
https://github.com/nix-community/home-manager
synced 2024-12-24 18:59:47 +01:00
docs: add redirect from the previous options.html
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.
(cherry picked from commit 8bdb74eaff
)
This commit is contained in:
parent
8a687e4cf5
commit
c26f6faf5a
2 changed files with 17 additions and 0 deletions
|
@ -32,6 +32,8 @@ in stdenv.mkDerivation {
|
|||
OPTIONS_JSON \
|
||||
${home-manager-options.nix-darwin}/share/doc/nixos/options.json
|
||||
|
||||
cp ${./options.html} out/options.html
|
||||
|
||||
cp ${./static/style.css} out/style.css
|
||||
|
||||
cp -r ${./release-notes} release-notes
|
||||
|
|
15
docs/options.html
Normal file
15
docs/options.html
Normal file
|
@ -0,0 +1,15 @@
|
|||
<!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>
|
Loading…
Reference in a new issue