chiark / gitweb /
man: ignore non-manpage files when generating makefile
[elogind.git] / tools / make-man-rules.py
index 0d1ca244c467d0b8bba7fdd85d42bc0f9703eee9..6224de3cc01d15a7bce1e2a9fb2b29bf4124355d 100644 (file)
@@ -66,6 +66,8 @@ def xml(file):
 def add_rules(rules, name):
     xml = xml_parse(name)
     # print('parsing {}'.format(name), file=sys.stderr)
+    if xml.getroot().tag != 'refentry':
+        return
     conditional = xml.getroot().get('conditional') or ''
     rulegroup = rules[conditional]
     refmeta = xml.find('./refmeta')
@@ -86,7 +88,11 @@ def create_rules(xml_files):
     " {conditional => {alias-name => source-name}} "
     rules = collections.defaultdict(dict)
     for name in xml_files:
-        add_rules(rules, name)
+        try:
+            add_rules(rules, name)
+        except Exception:
+            print("Failed to process", name, file=sys.stderr)
+            raise
     return rules
 
 def mjoin(files):