From eb98afe8b191dd165e30afb8000381128c10f3a8 Mon Sep 17 00:00:00 2001 From: Matthias Ringwald Date: Sun, 24 Dec 2017 00:20:13 +0100 Subject: [PATCH] docs: fix header level for ports --- doc/manual/ports2markdown.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/manual/ports2markdown.py b/doc/manual/ports2markdown.py index 9fe525978..d00c1db18 100755 --- a/doc/manual/ports2markdown.py +++ b/doc/manual/ports2markdown.py @@ -59,9 +59,9 @@ def process_readmes(intro_file, port_folder, ports_file, ports_folder): title_parts = re.match('(#\s+)(.*)\n',line) if parts: if title_parts: - ports.write("#" + title_parts.group(2) + " {" + "#sec:" + readme_dir + "Port}\n" ) + ports.write("## " + title_parts.group(2) + " {" + "#sec:" + readme_dir + "Port}\n" ) else: - ports.write("#" + line) + ports.write("## " + line) else: ports.write(line)