[eacsl] Check header of bash completion script

headers/headache_config.txt

@@ -39,6 +39,8 @@
 | ".*_frama-c" -> skip match:"#compdef.*"
 | ".*\.sh" -> frame open:"#"  line:"#" close:"#"
 | ".*\.sh" -> skip match:"#!.*"
+| ".*\.sh.comp" -> frame open:"#"  line:"#" close:"#"
+| ".*\.sh.comp" -> skip match:"#!.*"
 | "frama-c" -> frame open:"#"  line:"#" close:"#"
 | ".*frama-c" -> skip match:"#!.*"
 | "frama-c-config" -> frame open:"#"  line:"#" close:"#"

src/plugins/e-acsl/Makefile.in

@@ -460,6 +460,7 @@ EACSL_CEA_LGPL_BARE= src/*.ml src/*/*.ml src/*.mli src/*/*.mli \
 	E_ACSL.mli \
 	Makefile.in configure.ac tab-in-changelog.sh \
 	scripts/*.sh \
+	scripts/*.comp \
 	tests/E_ACSL_test.ml \
 	tests/wrapper.sh \
 	man/e-acsl-gcc.sh.1

src/plugins/e-acsl/headers/header_spec.txt

@@ -12,6 +12,7 @@ license/SPARETIMELABS: .ignore
 license/headache_config.txt: .ignore
 man/e-acsl-gcc.sh.1: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 scripts/e-acsl-gcc.sh: CEA_LGPL_OR_PROPRIETARY.E_ACSL
+scripts/e-acsl-gcc.sh.comp: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/instrumentation_model/e_acsl_assert.c: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/instrumentation_model/e_acsl_assert.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL
 share/e-acsl/instrumentation_model/e_acsl_assert_data.h: CEA_LGPL_OR_PROPRIETARY.E_ACSL

src/plugins/e-acsl/scripts/e-acsl-gcc.sh.comp

@@ -16,7 +16,7 @@
 #  GNU Lesser General Public License for more details.                   #
 #                                                                        #
 #  See the GNU Lesser General Public License version 2.1                 #
-#  for more details (enclosed in the file license/LGPLv2.1).             #
+#  for more details (enclosed in the file licenses/LGPLv2.1).            #
 #                                                                        #
 ##########################################################################