diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-04-05 17:32:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-05 17:32:48 +0200 |
| commit | 71c07ac0e73d35b46be8a68619f9017460f2e69e (patch) | |
| tree | 8f91e005dac895120dc7f20950b4cb39c9d79d2b | |
| parent | 5fe4fe823c193cbb7bfa05a468de91eeab09058d (diff) | |
| parent | 660c19eb492d834c238bcdde02ba0a7e3c4f0c40 (diff) | |
Merge pull request #6363 from thufschmitt/definition-list-in-nix.conf-manual
Add anchors to the nix.conf options in the manual
| -rw-r--r-- | doc/manual/generate-options.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/manual/generate-options.nix b/doc/manual/generate-options.nix index 84d90beb6..2d586fa1b 100644 --- a/doc/manual/generate-options.nix +++ b/doc/manual/generate-options.nix @@ -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:** " + ( |