From bac8e34245c67acc10302056a50765b17d552ca3 Mon Sep 17 00:00:00 2001 From: Youen Date: Mon, 5 Feb 2024 21:48:05 +0100 Subject: [PATCH] Fixed issue when a file tracked by git is modified by previous compilation --- src/data/document.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/data/document.py b/src/data/document.py index feada18..e637829 100644 --- a/src/data/document.py +++ b/src/data/document.py @@ -78,6 +78,7 @@ class Document: is_intensive_task = False # update source files from git + cmd.append(['git', 'reset', '--hard', 'HEAD']) # we must first revert any local change ; this fixes an issue with print-theme.css that can be modified during compilation to update the number of pages cmd.append(['git', 'pull']) if multiversion_build: