diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-02-19 16:06:10 -0500 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-02-20 22:43:27 -0500 |
| commit | c0652d453e2329fa465f71d4c68f5fe8618a7de2 (patch) | |
| tree | 62ccb1edef613eff72d950e6afa09c0848caeae9 | |
| parent | ef417cfd2211ae017a38b9796c6db29130133e63 (diff) | |
man: ignore non-manpage files when generating makefile
| -rw-r--r-- | tools/make-man-rules.py | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tools/make-man-rules.py b/tools/make-man-rules.py index 0d1ca244c4..6224de3cc0 100644 --- a/tools/make-man-rules.py +++ b/tools/make-man-rules.py @@ -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): |