diff --git a/debian/rules b/debian/rules
index 156d6d1..5257910 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,7 +6,8 @@ include /usr/share/dpkg/buildflags.mk
 export DEB_CFLAGS_MAINT_APPEND = $(CPPFLAGS) -Wall -Wno-deprecated-declarations -pedantic
 export DEB_LDFLAGS_MAINT_APPEND = -Wl,--as-needed
 
-MUTABLE_FILES := build.h $(wildcard locale/*.po)
+MUTABLE_FILES := build.h $(wildcard locale/*.po) \
+	documentation/config/version.tex
 
 %:
 	dh $@