Fix up _clean_tables.py to remove files and not only dirs
diff --git a/_clean_tables.py b/_clean_tables.py index 155a820..5b0f1c3 100644 --- a/_clean_tables.py +++ b/_clean_tables.py
@@ -14,7 +14,10 @@ for pattern in file_patterns: if fnmatch.fnmatch(file, pattern): fullpath = os.path.join(path, file) - shutil.rmtree(fullpath, ignore_errors=True) + if os.path.isdir(fullpath): + shutil.rmtree(fullpath, ignore_errors=False) + else: + os.unlink(fullpath) print('Deleted', fullpath) except OSError: pass