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: