From de10ca75461de877297f31eb0b61ee5d9f16193d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Fri, 22 Oct 2021 13:56:09 +0200 Subject: [PATCH] also build when last build of file has been dirty --- build/build/build.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/build/build/build.py b/build/build/build.py index 40ed33a..4544a56 100644 --- a/build/build/build.py +++ b/build/build/build.py @@ -69,6 +69,8 @@ class TexFileToFormat: return self.__format() # Build file since we build all of them elif not self.pytex_recent or not self.recent: return self.__format() # Build file since either pytex or package repo is not recent + elif self.last_build_info and self.last_build_info['dirty']: + return self.__format() # Build file since we do not know in what state it is else: return self.last_build_info