add anchors to option listings

This commit is contained in:
Valentin Gagarin 2023-09-06 09:52:56 +02:00
parent acc50e1845
commit 391f18063c

View File

@ -98,7 +98,7 @@ let
(option ? labels)
(concatStringsSep " " (map (s: "*${s}*") option.labels));
in trim ''
- `--${name}` ${shortName} ${labels}
- <span id="opt-${name}">[`--${name}`](#opt-${name})</span> ${shortName} ${labels}
${option.description}
'';