Merge with origin:dev

tools/extract_doc.py

@@ -2,11 +2,18 @@
 
 import sys
 
+excludes = ['istats_diff.py']
+
 filename = sys.argv[1]
 
 if filename.endswith('__init__.py'):
     sys.exit(0)
 
+for e in excludes:
+    if filename.endswith(e):
+        sys.stderr.write('\tSkip %s\n' % (filename))
+        sys.exit(0)
+
 package_name = filename.replace('/', '.').replace('.py', '')
 sys.stdout.write('%s' % (package_name))
 sys.stdout.write('\n')