doc/docchecker
changeset 28048 72b02b498b35
parent 27733 3d1baa702d1a
child 28049 c00f67c15c5a
--- a/doc/docchecker	Wed Feb 10 22:44:29 2016 +0900
+++ b/doc/docchecker	Wed Feb 10 22:44:29 2016 +0900
@@ -48,7 +48,7 @@
     try:
       with open(f) as file:
         work(file)
-    except:
-      print("failed to process %s" % f)
+    except BaseException as e:
+      print("failed to process %s: %s" % (f, e))
 
 main()