summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSven Vermeulen <sven.vermeulen@siphos.be>2012-05-01 13:43:10 +0200
committerSven Vermeulen <sven.vermeulen@siphos.be>2012-05-01 13:43:10 +0200
commit0be07d7860725a3101381048715edc1b4373a01e (patch)
treee64f20d7e0f6bb836d6985d1bc4b3bd88b502151 /support
parentMore fixes on python3, including String.split and cStringIO changes (diff)
downloadhardened-refpolicy-0be07d7860725a3101381048715edc1b4373a01e.tar.gz
hardened-refpolicy-0be07d7860725a3101381048715edc1b4373a01e.tar.bz2
hardened-refpolicy-0be07d7860725a3101381048715edc1b4373a01e.zip
For USE=doc, we need to transform a.has_key(b) into b in a too (python3)
Diffstat (limited to 'support')
-rw-r--r--support/sedoctool.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/support/sedoctool.py b/support/sedoctool.py
index cd3f1ce9f..a363e72b7 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