diff options
author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-09-30 01:41:56 +0200 |
---|---|---|
committer | Valentin Gagarin <valentin.gagarin@tweag.io> | 2022-09-30 01:43:57 +0200 |
commit | d8bef7358f67d11eeef46ae015291a92f8ba1b72 (patch) | |
tree | c15300ded2c25920a04cdd900892a4c6dda69764 | |
parent | 70eea9774230c5264ced249c9b81e28498027b05 (diff) |
bring back lost newline
-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 19943b698..18a1a8bfe 100644 --- a/doc/manual/generate-manpage.nix +++ b/doc/manual/generate-manpage.nix @@ -105,6 +105,6 @@ let tableOfContents = let showEntry = page: " - [${page.command}](command-ref/new-cli/${page.name})"; - in concatStringsSep "\n" (map showEntry manpages); + in concatStringsSep "\n" (map showEntry manpages) + "\n"; in (listToAttrs manpages) // { "SUMMARY.md" = tableOfContents; } |