diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2021-08-13 22:40:05 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-13 22:40:05 +0200 |
commit | f32c042f3e14a2de2f2d416ff35b0a3c80785e33 (patch) | |
tree | 84e9a83d03d2ecb25af7f7a6b171d26b46804600 | |
parent | 14a2e598751405a99278d268b1b2ccdb0398826a (diff) | |
parent | 1352a087b3ec4a8c3a37b537ff8164173ea5033a (diff) |
Merge pull request #51321 from pycbouh/docs-makerst-codestyle
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 |