summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorYuri Sizov <yuris@humnom.net>2021-08-06 18:18:22 +0300
committerYuri Sizov <yuris@humnom.net>2021-08-06 18:18:22 +0300
commit1352a087b3ec4a8c3a37b537ff8164173ea5033a (patch)
tree89fd2bcccd3812605f742c3d48a003cc1bddafc9 /doc
parentb3c2281706778cf5311a68fe0071aa2740d01131 (diff)
Fix minor code style issues in the RST generator
Diffstat (limited to 'doc')
-rwxr-xr-xdoc/tools/makerst.py3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py
index 770419a37c..6f9a07af1f 100755
--- a/doc/tools/makerst.py
+++ b/doc/tools/makerst.py
@@ -479,7 +479,7 @@ def make_rst_class(class_def, state, dry_run, output_dir): # type: (ClassDef, S
format_table(f, ml)
# Theme properties
- if class_def.theme_items is not None and len(class_def.theme_items) > 0:
+ if len(class_def.theme_items) > 0:
f.write(make_heading("Theme Properties", "-"))
pl = []
for theme_item_def in class_def.theme_items.values():
@@ -601,6 +601,7 @@ def make_rst_class(class_def, state, dry_run, output_dir): # type: (ClassDef, S
index += 1
+ # Theme property descriptions
if len(class_def.theme_items) > 0:
f.write(make_heading("Theme Property Descriptions", "-"))
index = 0