Skip build folder

parent d9d36c43
......@@ -153,10 +153,13 @@ def setup(app):
# Get png and csv files and other stuff from the AGTS scripts that run
# every weekend:
names = set()
for path in Path().glob('**/*agts.py'):
for path in Path().glob('**/*.py'):
if path.parts[0] == 'build':
continue
line1 = path.read_text().split('\n', 1)[0]
if not line1.startswith('# Creates:'):
continue
print(path)
for name in line1.split(':')[1].split(','):
name = name.strip()
if name in names:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment