diff -r 863075fd4cd0 -r 72b02b498b35 doc/docchecker
--- 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()