diff options
| author | Marius Halden <marius.h@lden.org> | 2016-12-26 16:04:14 +0100 |
|---|---|---|
| committer | Marius Halden <marius.h@lden.org> | 2016-12-26 16:04:14 +0100 |
| commit | 184c46d3507a0ff9fc68a4409f690add96cd183d (patch) | |
| tree | 6fc6a92212d7e8f68107e418db50073ed8c0f88c /doc/user-guide/genhelp.py | |
| parent | 979082a36fe648b81711373c62311bcd7d9d3b54 (diff) | |
| parent | 59ccef5cc9f1ed67112248c20649ce8005188173 (diff) | |
Merge branch 'master' into patched-master
Diffstat (limited to 'doc/user-guide/genhelp.py')
| -rw-r--r-- | doc/user-guide/genhelp.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/user-guide/genhelp.py b/doc/user-guide/genhelp.py index e9a3b2bf..15fcd455 100644 --- a/doc/user-guide/genhelp.py +++ b/doc/user-guide/genhelp.py @@ -72,7 +72,11 @@ def fix_tree(tag, debug=False, lvl=''): # Main logic def process_file(filename, parent=None): - tree = ET.parse(open(filename)).getroot() + try: + tree = ET.parse(open(filename)).getroot() + except: + sys.stderr.write("\nException while processing %s\n" % filename) + raise fix_tree(tree) return parse_tag(tree, parent) |