Fixed issue when a file tracked by git is modified by previous compilation

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: