adjust counter file for build directories

2022-05-01 18:13:10 +02:00 · 2022-05-01 18:13:10 +02:00 · 79d7e17b5f
commit 79d7e17b5f
parent 6d7e96f43b
1 changed files with 4 additions and 1 deletions
--- a/scripts/notes.py
+++ b/scripts/notes.py
@ -63,8 +63,11 @@ class Notes:
        if not setcounters:
            return ''
        if lec - 1 not in lecture_list and self.full_file:
+            cnt_file = self.full_file.with_suffix(DEFAULT_LATEX_COUNTER_AUX_FILE_EXTENSION)
+            if not cnt_file.exists():
+                cnt_file = self.full_file.parent / 'build' / cnt_file.name
            return dict2setcounters(parse_counters(
-                self.full_file.with_suffix(DEFAULT_LATEX_COUNTER_AUX_FILE_EXTENSION),
+                cnt_file,
                {'lecture': lec}
            ))
        return ''