doc: redirect old reference pages to new location

This commit is contained in:
Daniel Thwaites 2025-02-18 15:10:02 +00:00
parent 2b2f260a69
commit 4c04e0dece
No known key found for this signature in database
GPG key ID: D8AFC4BF05670F9D

View file

@ -12,3 +12,8 @@ no-section-label = true
[output.html.fold]
enable = true
[output.html.redirect]
# Must use relative paths with . or .. for offline browsing to work correctly
"/options/hm.html" = "./platforms/home_manager.html"
"/options/nixos.html" = "./platforms/nixos.html"