summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLaszlo Pandy <lpandy@src.gnome.org>2011-08-11 11:51:50 +0200
committerLaszlo Pandy <lpandy@src.gnome.org>2011-08-11 12:40:24 +0200
commit5a54b4693d41355796039af34e1a82f5067225e1 (patch)
tree95de1cfc164cf10d17d1def9805e983ffa8a75b9
parentb6cf8b836447bf50c4d84824b0814589490b6218 (diff)
downloadgobject-introspection-5a54b4693d41355796039af34e1a82f5067225e1.tar.gz
[docbook] Add Properties section
-rw-r--r--giscanner/docbookwriter.py10
1 files changed, 10 insertions, 0 deletions
diff --git a/giscanner/docbookwriter.py b/giscanner/docbookwriter.py
index f5aaff72..7a1bbffa 100644
--- a/giscanner/docbookwriter.py
+++ b/giscanner/docbookwriter.py
@@ -233,6 +233,16 @@ class DocBookWriter(object):
# self._writer.write_line(desc)
with self._writer.tagcontext('refsect1',
+ [('id', '%s.properties' % page.name),
+ ('role', 'properties')]):
+ self._writer.write_tag("title", [('role', 'properties.title')],
+ "Properties")
+ with self._writer.tagcontext("synopsis"):
+ self._writer.disable_whitespace()
+ self._writer.write_line('')
+ self._writer.enable_whitespace()
+
+ with self._writer.tagcontext('refsect1',
[('id', "%s-details" % page.name),
("role", "details")]):
self._writer.write_tag("title", [("role", "details.title")],