diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-09-06 09:52:56 +0200 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-09-06 09:52:56 +0200 |
| commit | 391f18063c0279e2de189176335a1b2863b9533a (patch) | |
| tree | 5330200dcde5fc31829c54bfa598bf56399b65bf /doc | |
| parent | acc50e184578b7a5d4f9404e84241373baffc9fc (diff) | |
add anchors to option listings
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/generate-manpage.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/generate-manpage.nix b/doc/manual/generate-manpage.nix index 65eec42d0..bc4d2c5bc 100644 --- a/doc/manual/generate-manpage.nix +++ b/doc/manual/generate-manpage.nix @@ -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} ''; |