diff options
Diffstat (limited to 'doc/manual')
| -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" |