docs: fix header level for ports

This commit is contained in:
Matthias Ringwald 2017-12-24 00:20:13 +01:00
parent 45600c0eb7
commit eb98afe8b1

View File

@ -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)