diff --git a/src/plugins/e-acsl/doc/Makefile.common b/src/plugins/e-acsl/doc/Makefile.common
index 2fdcb5e52a3ed7df6f468838b2b316fd8e4c309a..98ee1d0d781dd6339e17776ef4d08bca27c3c2e8 100644
--- a/src/plugins/e-acsl/doc/Makefile.common
+++ b/src/plugins/e-acsl/doc/Makefile.common
@@ -10,7 +10,7 @@ include $(EACSL_DIR)/doc/support/MakeLaTeXModern
 # Generic rules #
 #################
 
-eacslversion.tex: Makefile
+eacslversion.tex: Makefile $(VERSION_FILE)
 	rm -f $@
 	printf '\\newcommand{\\eacslpluginversion}{$(EACSL_VERSION)\\xspace}\n' > $@
 	printf '\\newcommand{\\fcversion}{$(FC_VERSION)\\xspace}\n' >> $@