diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-11-10 19:22:42 +0100 |
|---|---|---|
| committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-11-10 19:22:42 +0100 |
| commit | a68bf15fe6d45588986bb13e9c294f594cb5dd57 (patch) | |
| tree | f5025f52a4baba4606d1a13964665bd882ee62d3 /doc/manual/utils.nix | |
| parent | 78fd62139714bc68a682572e303b7e3c52f988f2 (diff) | |
backport fix for the `--help` output
Diffstat (limited to 'doc/manual/utils.nix')
| -rw-r--r-- | doc/manual/utils.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual/utils.nix b/doc/manual/utils.nix index 9043dd8cd..193c1efc0 100644 --- a/doc/manual/utils.nix +++ b/doc/manual/utils.nix @@ -44,10 +44,10 @@ rec { optionalString = cond: string: if cond then string else ""; - showSetting = { useAnchors }: name: { description, documentDefault, defaultValue, aliases, value, experimentalFeature }: + showSetting = { inlineHTML }: name: { description, documentDefault, defaultValue, aliases, value, experimentalFeature }: let result = squash '' - - ${if useAnchors + - ${if inlineHTML then ''<span id="conf-${name}">[`${name}`](#conf-${name})</span>'' else ''`${name}`''} |