diff options
| -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) |