From bb845aa4b282b7124c7b4d48f0f65d18344918a1 Mon Sep 17 00:00:00 2001 From: Stefan Sauer Date: Sat, 7 Apr 2018 15:57:21 +0200 Subject: [PATCH] mkhtml2: handle 'role' attr on para --- gtkdoc/mkhtml2.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/gtkdoc/mkhtml2.py b/gtkdoc/mkhtml2.py index 7535490..1c2025e 100644 --- a/gtkdoc/mkhtml2.py +++ b/gtkdoc/mkhtml2.py @@ -619,7 +619,10 @@ def convert_para(ctx, xml): result = [] if 'id' in xml.attrib: result.append('' % xml.attrib['id']) - result.append('

') + if 'role' in xml.attrib: + result.append('

' % xml.attrib['role']) + else: + result.append('

') append_text(xml.text, result) convert_inner(ctx, xml, result) result.append('

') -- 2.11.4.GIT