diff options
Diffstat (limited to 'support')
| -rw-r--r-- | support/sedoctool.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/sedoctool.py b/support/sedoctool.py index cd3f1ce9..a363e72b 100644 --- a/support/sedoctool.py +++ b/support/sedoctool.py @@ -372,7 +372,7 @@ def gen_docs(doc, working_dir, templatedir): for desc in node.getElementsByTagName("summary"): if desc.parentNode == node and desc: mod_summary = format_html_desc(desc) - if not module_list.has_key(mod_layer): + if not mod_layer in module_list: module_list[mod_layer] = {} module_list[mod_layer][mod_name] = mod_summary |