diff --git a/ivette/headers/register.sh b/ivette/headers/register.sh
index d918d2b45d8e72d4150254925261d370036c95eb..264b48847f8afc6e8809da2aa4ab674c5f6c62c9 100755
--- a/ivette/headers/register.sh
+++ b/ivette/headers/register.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 case "$1" in
-    Makefile.distrib | *.json | src/dome/doc/* | */.eslintrc.js | headers/* )
+    Makefile.distrib | *.json | src/dome/doc/* | */.eslintrc.js )
         echo "$1: .ignore"
         ;;
     *Make* | src/*/*.js* | src/*/*.ts* | src/*/*.ml*)