fix error when header is empty

catch case of empty header to not crash
This commit is contained in:
Maximilian Keßler 2021-12-17 15:26:28 +01:00
parent 315e3647ab
commit 4c5efa4087

View file

@ -68,6 +68,7 @@ class TexFileToFormat:
def __format_header(self): def __format_header(self):
new_header = [] new_header = []
if self.current_build_info.header:
for line in self.current_build_info.header: for line in self.current_build_info.header:
new_header.append(line.format( new_header.append(line.format(
source_file=self.src_path.name, source_file=self.src_path.name,