Anchor with prefix

This commit is contained in:
Guillaume Desforges 2022-02-24 13:50:50 +01:00
parent 6462ee61c7
commit cfbf9ee2ce

View file

@ -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"