Valentin Gagarin f37a5ed83c 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:46 +00:00
..
src	Fix more profile dirs in docs	2023-03-27 20:36:16 +00:00
theme	doc/manual: don't need to copy highlight.js manually	2021-08-04 19:47:05 -07:00
_redirects	add path based redirects	2023-11-27 13:28:46 +00:00
anchors.jq	doc: Port anchors preprocessor to jq script	2022-05-26 18:17:21 +02:00
book.toml	manual: Check links	2023-01-10 22:30:41 +01:00
custom.css	disallow selecting shell prompt in code samples	2022-12-05 11:01:46 +01:00
generate-builtins.nix	refactor rendering documentation of builtins	2022-11-24 14:15:43 +01:00
generate-manpage.nix	add missing newline, for consistent formatting	2022-11-30 23:40:53 +01:00
generate-options.nix	use HTML anchors for config parameters	2022-12-07 16:18:50 +01:00
local.mk	local.mk: Don't log docroot comments	2023-02-07 23:34:36 +01:00
quote-literals.xsl	Generate release notes again	2014-03-12 14:24:29 +01:00
redirects.js	add path based redirects	2023-11-27 13:28:46 +00:00
utils.nix	refactor showOptions	2022-09-30 01:43:53 +02:00