diff --git a/src/plugins/e-acsl/.gitignore b/src/plugins/e-acsl/.gitignore
index 00d5d13ae1b8f490d75b0c658ba5c989a1f10d15..2eef575c751445d0d7a7ec9433c82211d9b56706 100644
--- a/src/plugins/e-acsl/.gitignore
+++ b/src/plugins/e-acsl/.gitignore
@@ -80,3 +80,4 @@
 tests/ptests_config
 META.frama-c-e_acsl
 .merlin
+Makefile.plugin.generated