From 2cc41081b3e6e97338a737a01be6a820376da0b0 Mon Sep 17 00:00:00 2001 From: Florian Bruhin Date: Sun, 7 Sep 2014 23:11:22 +0200 Subject: [PATCH] Add newline in settings doc. --- scripts/generate_doc.py | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/generate_doc.py b/scripts/generate_doc.py index cfb0b4563..3ee51bf2a 100755 --- a/scripts/generate_doc.py +++ b/scripts/generate_doc.py @@ -131,6 +131,7 @@ def _get_setting_quickref(): for sectname, sect in configdata.DATA.items(): if not getattr(sect, 'descriptions'): continue + out.append("") out.append(".Quick reference for section ``{}''".format(sectname)) out.append('[options="header",width="75%",cols="25%,75%"]') out.append('|==============')