diff options
author | Yuri Sizov <yuris@humnom.net> | 2021-08-06 18:18:22 +0300 |
---|---|---|
committer | Yuri Sizov <yuris@humnom.net> | 2021-08-06 18:18:22 +0300 |
commit | 1352a087b3ec4a8c3a37b537ff8164173ea5033a (patch) | |
tree | 89fd2bcccd3812605f742c3d48a003cc1bddafc9 | |
parent | b3c2281706778cf5311a68fe0071aa2740d01131 (diff) |
Fix minor code style issues in the RST generator
-rwxr-xr-x | doc/tools/makerst.py | 3 |
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 |