Merge pull request #6104 from rrbutani/master

Fix formatting for options with "machine-specific" defaults
2022-02-16 10:47:51 +01:00
parent 94992a9196 d82cf4a016
commit f450edc78b
1 changed files with 1 additions and 1 deletions
@@ -20,7 +20,7 @@ concatStrings (map
         # JSON, but that converts to "{ }" here.
         (if isAttrs option.value then "`\"\"`"
          else "`" + toString option.value + "`")) + "\n\n"
-       else "    **Default:** *machine-specific*")
+       else "    **Default:** *machine-specific*\n")
    + (if option.aliases != []
       then "    **Deprecated alias:** " + (concatStringsSep ", " (map (s: "`${s}`") option.aliases)) + "\n\n"
       else "")