diff --git a/Makefile b/Makefile
index 59b655ca70be00313a8e6755979226ea26c6ce45..0f4ac62279f4715a7f850cb5d9d89fd0c3de60d9 100644
--- a/Makefile
+++ b/Makefile
@@ -280,6 +280,7 @@ DISTRIB_FILES:=\
       $(wildcard share/emacs/*.el) share/autocomplete_frama-c           \
       share/_frama-c                                                    \
       share/compliance/c11_functions.json                               \
+      share/compliance/c11_headers.json                                 \
       share/compliance/glibc_functions.json                             \
       share/compliance/nonstandard_identifiers.json                     \
       share/compliance/posix_identifiers.json                           \
@@ -1945,6 +1946,7 @@ install:: install-lib-$(OCAMLBEST)
 	  $(FRAMAC_DATADIR)/analysis-scripts
 	$(MKDIR) $(FRAMAC_DATADIR)/compliance
 	$(CP) share/compliance/c11_functions.json \
+	  share/compliance/c11_headers.json \
 	  share/compliance/glibc_functions.json \
 	  share/compliance/nonstandard_identifiers.json \
 	  share/compliance/posix_identifiers.json \
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index b4c1ddf551edc3130030aba5718106e5d2160da4..d1b383e76b2d8a39234b67339deb1984c7ad12b3 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -136,6 +136,7 @@ share/analysis-scripts/results_display.py: .ignore
 share/analysis-scripts/summary.py: .ignore
 share/analysis-scripts/template.mk: .ignore
 share/compliance/c11_functions.json: .ignore
+share/compliance/c11_headers.json: .ignore
 share/compliance/glibc_functions.json: .ignore
 share/compliance/nonstandard_identifiers.json: .ignore
 share/compliance/posix_identifiers.json: .ignore