bring back lost newline

This commit is contained in:
Valentin Gagarin 2022-09-30 01:41:56 +02:00
parent 70eea97742
commit d8bef7358f

View file

@ -105,6 +105,6 @@ let
tableOfContents = let tableOfContents = let
showEntry = page: showEntry = page:
" - [${page.command}](command-ref/new-cli/${page.name})"; " - [${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; } in (listToAttrs manpages) // { "SUMMARY.md" = tableOfContents; }