diff options
| author | Guillaume Desforges <guillaume.desforges.pro@gmail.com> | 2022-02-24 13:50:50 +0100 |
|---|---|---|
| committer | Guillaume Desforges <guillaume.desforges.pro@gmail.com> | 2022-02-24 13:50:50 +0100 |
| commit | cfbf9ee2ce35b64ced1822c132bd46bd4fd848b2 (patch) | |
| tree | c9b20d4026fa07f68b54c3c9078b7cfe31a8645a /doc/manual/generate-builtins.nix | |
| parent | 6462ee61c7c6ea7a93c01c89bf311fe8f454f35f (diff) | |
Anchor with prefix
Diffstat (limited to 'doc/manual/generate-builtins.nix')
| -rw-r--r-- | doc/manual/generate-builtins.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/generate-builtins.nix b/doc/manual/generate-builtins.nix index b481beecd..6c8b88da2 100644 --- a/doc/manual/generate-builtins.nix +++ b/doc/manual/generate-builtins.nix @@ -6,7 +6,7 @@ builtins: concatStrings (map (name: let builtin = builtins.${name}; in - "<dt id=\"${name}\"><a href=\"#${name}\"><code>${name} " + "<dt id=\"builtins-${name}\"><a href=\"#builtins-${name}\"><code>${name} " + concatStringsSep " " (map (s: "<var>${s}</var>") builtin.args) + "</code></a></dt>" + "<dd>\n\n" |