diff --git a/src/plugins/wp/Makefile.in b/src/plugins/wp/Makefile.in
index e746e10b60001afe004937150442acd0eefd39ba..ee4873009165e22899179f66be430c6c3e3f9841 100644
--- a/src/plugins/wp/Makefile.in
+++ b/src/plugins/wp/Makefile.in
@@ -317,7 +317,7 @@ endif
 byte:: $(Wp_DIR)/share/why3/why3.conf
 opt:: $(Wp_DIR)/share/why3/why3.conf
 
-$(Wp_DIR)/share/why3/why3.conf:
+$(Wp_DIR)/share/why3/why3.conf: config.status $(Wp_DIR)/Makefile.in
 	@echo Generation of the extra-config for why3
 	@printf "[prover_modifiers]\n" >> $@
 	@printf "name=\"Coq\"\n" >> $@