Valentin Gagarin 9f9d46f9a0 add path based redirects ... up to now, those were managed outside of this repo, which as unsurprisingly a real hassle to deal with if one wanted to prevent URLs from breaking when moving pages around. this change removes a large part of the friction involved in moving content in the Nix manual. possible next steps for further automation: - check for content that moved and warn if it's not reachable from links that were valid prior to a change - create redirect rules automatically based on this information (cherry picked from commit 2b7016cc56)		2023-11-27 13:28:49 +00:00
..
internal-api	Generate API docs with Doxygen	2023-03-10 12:51:06 -05:00
manual	add path based redirects	2023-11-27 13:28:49 +00:00