Fix wiki

Markdown is hell.

diff --git a/util/update_wiki.py b/util/update_wiki.py
index 990b8860c0193df3ca2d5c1e0661e8ecca79279f..d3467a410124728eb6c779ea0a9386641eabe399 100755 (executable)
--- a/util/update_wiki.py
+++ b/util/update_wiki.py
@@ -79,7 +79,7 @@ errors of missing symbols.
 """
 
 
-template = """# `%s`
+template = """\n# `%s`
 
 **Default level:** %s