diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 6c10b16e3ae7d0469babc267d970397edf96e6a0..8f7b05b957097a7d5241c74dc27d345641b1e912 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -362,10 +362,8 @@ EACSL_CEA_LGPL_BARE= *.ml *.mli Makefile.in configure.ac \
 EACSL_CEA_LGPL=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_CEA_LGPL_BARE)) \
                $(EACSL_CEA_SHARE)
 
-# Files without header. contrib files keep their own header.
-EACSL_NOHEADER_BARE=INSTALL README VERSION license/* \
-  doc/Changelog doc/doxygen/doxygen.cfg.in .depend tests/test_config.in \
-  $(EACSL_CONTRIB_FILES)
+# Files without header that not listed into `headers/header_specs.txt` with a `.ignore` attribute
+EACSL_NOHEADER_BARE=
 
 EACSL_NOHEADER=$(addprefix $(EACSL_PLUGIN_DIR)/, $(EACSL_NOHEADER_BARE))