diff --git a/Makefile b/Makefile
index 768fbbbee1cf4def300cb836047b1fe192c451e2..07c22e9be46506c425db62fad61ef9a89043b0ac 100644
--- a/Makefile
+++ b/Makefile
@@ -2039,6 +2039,7 @@ uninstall::
 HEADER_SPEC := $(DEFAULT_HEADER_SPEC)
 # The list can be extended by external plugins using PLUGIN_HEADER_SPEC variable
 HEADER_SPEC += $(PLUGIN_HEADER_SPEC_LIST)
+HEADER_SPEC += ivette/headers/header_spec.txt
 # Default list of header specification files can be overloaded.
 HEADER_SPEC_FILE?=$(HEADER_SPEC)
 
@@ -2046,6 +2047,7 @@ HEADER_SPEC_FILE?=$(HEADER_SPEC)
 HEADER_DIRS := $(DEFAULT_HEADER_DIRS)
 # The list can be extended by external plugins using PLUGIN_HEADER_DIRS variable
 HEADER_DIRS += $(PLUGIN_HEADER_DIRS_LIST)
+HEADER_DIRS += ivette/headers
 # Takes into account the kind of distribution (open-souce/close-source)
 DISTRIB_HEADER_DIRS?=$(addsuffix /$(DISTRIB_HEADERS),$(HEADER_DIRS))
 
@@ -2385,6 +2387,8 @@ DISTRIB_FILES += $(wildcard $(PLUGIN_DISTRIBUTED_LIST)                   \
 DISTRIB_FILES:=$(filter-out $(GENERATED) $(PLUGIN_GENERATED_LIST),\
                   $(DISTRIB_FILES))
 
+sinclude ivette/.Makefile.distrib
+
 DISTRIB_TESTS += $(wildcard $(PLUGIN_DIST_TESTS_LIST))
 
 
diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt
new file mode 100644
index 0000000000000000000000000000000000000000..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391