diff --git a/src/plugins/e-acsl/Makefile.in b/src/plugins/e-acsl/Makefile.in
index 4653f55a9036d5fe0f03fea88186a4af3ea018bb..0325f19a574868556c3f506d889a55b9707fadda 100644
--- a/src/plugins/e-acsl/Makefile.in
+++ b/src/plugins/e-acsl/Makefile.in
@@ -218,7 +218,7 @@ headers::
 	headache -c license/headache_config.txt -h license/CEA_LGPL \
 		*.ml *.mli \
 		Makefile.in configure.ac \
-		share/e-acsl/*.[ch] share/e-acsl/*/*.[ch]
+		share/e-acsl/*.[ch] share/e-acsl/*/*.[ch] scripts/*.sh
 
 ################
 # Generic part #