diff -r 1ec9fe1dfba9 -r 2a164a9cf81c doc/tools/pyjsrest.py
--- a/doc/tools/pyjsrest.py	Tue Sep 20 15:14:04 2011 +0200
+++ b/doc/tools/pyjsrest.py	Wed Sep 21 17:38:00 2011 +0200
@@ -102,7 +102,7 @@
     for fileid in INDEX_IN_ORDER:
         try:
             index.remove(fileid)
-        except:
+        except Exception:
             raise Exception(
         'Bad file id %s referenced in INDEX_IN_ORDER in %s, '
         'fix this please' % (fileid, __file__))