diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-12-08 17:34:45 +0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-12-21 13:32:27 +0100 |
| commit | 9dcd0aebc59a53c622d709c33d4c6f5e20bc0ac7 (patch) | |
| tree | dab54fba3efd6c44d76f039874fd9860e514bb46 /doc/manual | |
| parent | 09660b855778531be14968b720308d092af4dd2e (diff) | |
generate-manpage.nix: Fix short names
Diffstat (limited to 'doc/manual')
| -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 fbd7f3e7d..9f30c8fbc 100644 --- a/doc/manual/generate-manpage.nix +++ b/doc/manual/generate-manpage.nix @@ -43,7 +43,7 @@ let if flag.category or "" != "config" then " - `--${longName}`" - + (if flag ? shortName then " / `${flag.shortName}`" else "") + + (if flag ? shortName then " / `-${flag.shortName}`" else "") + (if flag ? labels then " " + (concatStringsSep " " (map (s: "*${s}*") flag.labels)) else "") + " \n" + " " + flag.description + "\n\n" |