From d450e4a55d30c95acbd0350812a6edc44e9d3ac3 Mon Sep 17 00:00:00 2001
From: Matthias Braun <matze@braunis.de>
Date: Thu, 8 Dec 2011 14:39:22 +0100
Subject: [PATCH] gen_docu: put hrules between nodes, separate flags by commas

---
 scripts/gen_docu.py | 6 +++++-
 scripts/style.css   | 6 ++++++
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/scripts/gen_docu.py b/scripts/gen_docu.py
index f747af37c..441595413 100755
--- a/scripts/gen_docu.py
+++ b/scripts/gen_docu.py
@@ -84,8 +84,12 @@ docu_template = env.from_string(
 					{% endfor %}
 					{% endif %}
 					</dl>
+					{% set comma = joiner(", ") %}
 					<h5>Flags</h5>
-					{% for flag in node.flags %} {{flag}} {% endfor %}
+					{% for flag in node.flags -%}
+						{{comma()}}{{flag}}
+					{%- endfor %}
+					<hr/>
 				</div>
 				{% endfor %}
 			</div></div>
diff --git a/scripts/style.css b/scripts/style.css
index 53927f2eb..2fbc5f7d1 100644
--- a/scripts/style.css
+++ b/scripts/style.css
@@ -82,6 +82,12 @@ div.footer a {
 	color: #888;
 }
 
+div.section hr {
+	margin-top: 30px;
+	text-align: center;
+	width: 95%;
+}
+
 a {
 	color: #aa0000;
 	text-decoration: underline;
-- 
2.20.1