diff --git a/scripts/labels.py b/scripts/labels.py index 66720ca..84e8d06 100644 --- a/scripts/labels.py +++ b/scripts/labels.py @@ -46,7 +46,7 @@ def main(args): arglist = [] if len(args) > 1: path = Path(args[1]) - arglist = list(path.glob('*.aux')) + arglist = list(path.glob('*.aux')) + list(path.glob('build/*.aux')) else: arglist = ['/home/maximilian/current_course/full.aux'] @@ -61,6 +61,7 @@ def main(args): else: command = selected return command.strip() + if __name__ == '__main__':