forked from Imagelibrary/seL4
manual: Added "heading" field to ref_dict
Updated the reference dictionary with a heading field. This is the heading title given to the api doc section.
This commit is contained in:
@@ -219,12 +219,14 @@ class Generator(object):
|
||||
for member in soup.find_all("memberdef"):
|
||||
name = str(member.find('name').string)
|
||||
label = member.manual['label']
|
||||
heading = member.manual['name']
|
||||
ref_id = member['id']
|
||||
data = {
|
||||
"name": self.text_escape(name),
|
||||
"original_name" : name,
|
||||
"label": label,
|
||||
"ref": ref_id,
|
||||
"heading": heading,
|
||||
}
|
||||
|
||||
ret[ref_id] = data
|
||||
|
||||
Reference in New Issue
Block a user