diff --git a/Makefile b/Makefile
index c451aa21fec544fc97be17779cb0bc27dc30ccdc..f517edfe058b1aa7a6a8baba67a5d13cd5339523 100644
--- a/Makefile
+++ b/Makefile
@@ -275,6 +275,7 @@ DISTRIB_FILES:=\
       share/Makefile.plugin.template share/Makefile.dynamic		\
       share/Makefile.dynamic_config.external				\
       share/Makefile.dynamic_config.internal				\
+      share/META.frama-c                                                \
       $(filter-out src/kernel_internals/runtime/config.ml,              \
 	  $(wildcard src/kernel_internals/runtime/*.ml*))               \
       $(wildcard src/kernel_services/abstract_interp/*.ml*)             \
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 5960673ee933849ffe635fb7980601a1df8a7fa3..8538850d61eee479c79dcc7fc7c1f34ad3dfbf51 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -142,6 +142,7 @@ share/Makefile.dynamic_config.external: CEA_LGPL
 share/Makefile.dynamic_config.internal: CEA_LGPL
 share/Makefile.generic: CEA_LGPL
 share/Makefile.plugin.template: CEA_LGPL
+share/META.frama-c: .ignore
 share/builtin.h: CEA_LGPL
 share/configure.ac: CEA_LGPL
 share/emacs/acsl.el: ACSL_EL