Merge pull request #6363 from thufschmitt/definition-list-in-nix.conf-manual

Add anchors to the nix.conf options in the manual
This commit is contained in:
Eelco Dolstra 2022-04-05 17:32:48 +02:00 committed by GitHub
commit 71c07ac0e7
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,7 +6,8 @@ options:
concatStrings (map
(name:
let option = options.${name}; in
" - `${name}` \n\n"
" - [`${name}`](#conf-${name})"
+ "<p id=\"conf-${name}\"></p>\n\n"
+ concatStrings (map (s: " ${s}\n") (splitLines option.description)) + "\n\n"
+ (if option.documentDefault
then " **Default:** " + (