diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-12-03 13:55:19 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2020-12-03 16:17:58 +0100 |
commit | c3c858ac6d0c75bd95bd6913276ef20cf2495e96 (patch) | |
tree | 0a2089c1e8943c34ab95bf0ec127a3592fc915f9 /doc | |
parent | 0bd060f23ac2a63f4e9605b2b85ce7ac1cae0d77 (diff) |
Make doc() return arbitrary Markdown rather than the contents of the "Description" section
Thus we can return the examples section (and any other sections) from
doc() and don't need examples() anymore.
Diffstat (limited to 'doc')
-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 4a0b0290b..fbd7f3e7d 100644 --- a/doc/manual/generate-manpage.nix +++ b/doc/manual/generate-manpage.nix @@ -26,7 +26,7 @@ let + concatStrings (map ({ description, command }: "${description}\n\n```console\n${command}\n```\n\n") def.examples) else "") + (if def ? doc - then "# Description\n\n" + def.doc + "\n\n" + then def.doc + "\n\n" else "") + (let s = showFlags def.flags; in if s != "" |