From 1b3ba86110711b77a249f24dee581d2a6b8f0367 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mike=20F=C3=A4hrmann?= Date: Sat, 14 Mar 2020 01:08:31 +0100 Subject: [PATCH] improve lists in man pages --- scripts/man.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/man.py b/scripts/man.py index b8554d3a..3994a41d 100755 --- a/scripts/man.py +++ b/scripts/man.py @@ -266,7 +266,7 @@ def parse_docs_configuration(): opt_desc[name] = "" line = line.strip() if line.startswith(("* ", "- ")): - line = "\n" + line + line = ".br\n" + line elif line.startswith("| "): line = line[2:] + "\n.br" opt_desc[name] += line + "\n"