Browse Source

Sphinx/create_identifiers: use `not in` not `not _ in`

Ben Boeckel 5 years ago
parent
commit
e237fc65b7
1 changed files with 1 additions and 1 deletions
  1. 1 1
      Utilities/Sphinx/create_identifiers.py

+ 1 - 1
Utilities/Sphinx/create_identifiers.py

@@ -38,7 +38,7 @@ for line in lines:
 
   for domain_object_string, domain_object_type in mapping:
     if "<keyword name=\"" + domain_object_string + "\"" in line:
-      if not "id=\"" in line and not "#index-" in line:
+      if "id=\"" not in line and "#index-" not in line:
         prefix = "<keyword name=\"" + domain_object_string + "\" "
         part1, part2 = line.split(prefix)
         head, tail = part2.split("#" + domain_object_type + ":")