Changes in doc/user-guide/genhelp.py [028ca92:15a8c94]

File:

• doc/user-guide/genhelp.py (modified) (1 diff)

doc/user-guide/genhelp.py

@@ -73 +73 @@
 
 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)