From 4cc31f1723ef8d5ff90b486c6cbf6ce6ba177129 Mon Sep 17 00:00:00 2001 From: Patrick Baudin <patrick.baudin@cea.fr> Date: Thu, 2 Jun 2022 16:40:38 +0200 Subject: [PATCH] [headers] .gitattributes as header spec --- .gitattributes | 233 +++++++++++---------- src/plugins/.gitattributes | 47 +++++ src/plugins/dive/.gitattributes | 5 - src/plugins/instantiate/.gitattributes | 5 - src/plugins/loop_analysis/.gitattributes | 5 - src/plugins/markdown-report/.gitattributes | 4 - src/plugins/nonterm/.gitattributes | 5 - src/plugins/report/.gitattributes | 5 - src/plugins/server/.gitattributes | 5 - src/plugins/variadic/.gitattributes | 7 - src/plugins/wp/.gitattributes | 4 +- 11 files changed, 171 insertions(+), 154 deletions(-) create mode 100644 src/plugins/.gitattributes delete mode 100644 src/plugins/dive/.gitattributes delete mode 100644 src/plugins/instantiate/.gitattributes delete mode 100644 src/plugins/loop_analysis/.gitattributes delete mode 100644 src/plugins/nonterm/.gitattributes delete mode 100644 src/plugins/report/.gitattributes delete mode 100644 src/plugins/server/.gitattributes delete mode 100644 src/plugins/variadic/.gitattributes diff --git a/.gitattributes b/.gitattributes index 0d4cce2f50b..ee4221525c1 100644 --- a/.gitattributes +++ b/.gitattributes @@ -17,6 +17,9 @@ Make* header_spec=CEA_LGPL *.c header_spec=CEA_LGPL *.h header_spec=CEA_LGPL +*.htm header_spec=CEA_LGPL +*.html header_spec=CEA_LGPL + *.js header_spec=CEA_LGPL *.ml header_spec=CEA_LGPL @@ -40,111 +43,6 @@ Make* header_spec=CEA_LGPL *.ts header_spec=CEA_LGPL *.tsx header_spec=CEA_LGPL -/bin/frama-c* header_spec=CEA_LGPL - -/devel_tools/git-hooks/pre-commit header_spec=CEA_LGPL - -/headers/headache_config.txt header_spec=CEA_LGPL - -/share/autocomplete_frama-c header_spec=CEA_LGPL -/share/emacs/frama-c-*.el header_spec=CEA_LGPL -/share/_frama-c header_spec=CEA_LGPL - -/src/kernel_internals/runtime/fc_config.ml.in header_spec=CEA_LGPL -/src/libraries/stdlib/transitioning.ml.in header_spec=CEA_LGPL - -####################### -# HEADER_SPEC: others # -####################### - -/configure.in header_spec=CEA_INRIA_LGPL - -/doc/aorai/Makefile header_spec=AORAI_LGPL - -/share/analysis-scripts/flamegraph.pl header_spec=CDDL -/share/emacs/acsl.el header_spec=CEA_PR_LGPL -/share/machdep.c header_spec=CIL - -/src/kernel_internals/parsing/clexer.mli header_spec=CIL -/src/kernel_internals/parsing/clexer.mll header_spec=CIL -/src/kernel_internals/parsing/cparser.mly header_spec=CIL -/src/kernel_internals/parsing/errorloc.ml header_spec=CIL -/src/kernel_internals/parsing/errorloc.mli header_spec=CIL -/src/kernel_internals/parsing/lexerhack.ml header_spec=CIL -/src/kernel_internals/parsing/lexerhack.mli header_spec=CIL -/src/kernel_internals/parsing/logic_lexer.mli header_spec=CEA_INRIA_LGPL -/src/kernel_internals/parsing/logic_lexer.mll header_spec=CEA_INRIA_LGPL -/src/kernel_internals/parsing/logic_parser.mly header_spec=CEA_INRIA_LGPL -/src/kernel_internals/parsing/logic_preprocess.mli header_spec=CEA_INRIA_LGPL -/src/kernel_internals/parsing/logic_preprocess.mll header_spec=CEA_INRIA_LGPL -/src/kernel_internals/runtime/machdeps.ml header_spec=CIL -/src/kernel_internals/runtime/machdeps.mli header_spec=CIL -/src/kernel_internals/typing/alpha.ml header_spec=CIL -/src/kernel_internals/typing/alpha.mli header_spec=CIL -/src/kernel_internals/typing/cabs2cil.ml header_spec=CIL -/src/kernel_internals/typing/cabs2cil.mli header_spec=CIL -/src/kernel_internals/typing/cfg.ml header_spec=CIL -/src/kernel_internals/typing/cfg.mli header_spec=CIL -/src/kernel_internals/typing/frontc.ml header_spec=CIL -/src/kernel_internals/typing/frontc.mli header_spec=CIL -/src/kernel_internals/typing/logic_builtin.ml header_spec=CEA_INRIA_LGPL -/src/kernel_internals/typing/logic_builtin.mli header_spec=CEA_INRIA_LGPL -/src/kernel_internals/typing/mergecil.ml header_spec=CIL -/src/kernel_internals/typing/mergecil.mli header_spec=CIL -/src/kernel_internals/typing/oneret.ml header_spec=CIL -/src/kernel_internals/typing/oneret.mli header_spec=CIL -/src/kernel_internals/typing/rmtmps.ml header_spec=CIL -/src/kernel_internals/typing/rmtmps.mli header_spec=CIL -/src/kernel_internals/typing/translate_lightweight.ml header_spec=CEA_INRIA_LGPL -/src/kernel_internals/typing/translate_lightweight.mli header_spec=CEA_INRIA_LGPL -/src/kernel_services/analysis/dataflows.ml header_spec=CIL -/src/kernel_services/analysis/dataflows.mli header_spec=CIL -/src/kernel_services/ast_data/cil_types.mli header_spec=CIL -/src/kernel_services/ast_printing/cprint.ml header_spec=CIL -/src/kernel_services/ast_printing/cprint.mli header_spec=CIL -/src/kernel_services/ast_printing/logic_print.ml header_spec=CEA_INRIA_LGPL -/src/kernel_services/ast_printing/logic_print.mli header_spec=CEA_INRIA_LGPL -/src/kernel_services/ast_queries/cil.ml header_spec=CIL -/src/kernel_services/ast_queries/cil.mli header_spec=CIL -/src/kernel_services/ast_queries/cil_builtins.ml header_spec=CIL -/src/kernel_services/ast_queries/cil_builtins.mli header_spec=CIL -/src/kernel_services/ast_queries/cil_const.ml header_spec=CIL -/src/kernel_services/ast_queries/cil_const.mli header_spec=CIL -/src/kernel_services/ast_queries/logic_const.ml header_spec=CEA_INRIA_LGPL -/src/kernel_services/ast_queries/logic_const.mli header_spec=CEA_INRIA_LGPL -/src/kernel_services/ast_queries/logic_env.ml header_spec=CEA_INRIA_LGPL -/src/kernel_services/ast_queries/logic_env.mli header_spec=CEA_INRIA_LGPL -/src/kernel_services/ast_queries/logic_typing.ml header_spec=CEA_INRIA_LGPL -/src/kernel_services/ast_queries/logic_typing.mli header_spec=CEA_INRIA_LGPL -/src/kernel_services/ast_queries/logic_utils.ml header_spec=CEA_INRIA_LGPL -/src/kernel_services/ast_queries/logic_utils.mli header_spec=CEA_INRIA_LGPL -/src/kernel_services/parsetree/cabs.mli header_spec=CIL -/src/kernel_services/parsetree/cabshelper.ml header_spec=CIL -/src/kernel_services/parsetree/cabshelper.mli header_spec=CIL -/src/kernel_services/parsetree/logic_ptree.mli header_spec=CEA_INRIA_LGPL -/src/kernel_services/visitors/cabsvisit.ml header_spec=CIL -/src/kernel_services/visitors/cabsvisit.mli header_spec=CIL -/src/kernel_services/visitors/visitor_behavior.ml header_spec=CEA_INRIA_LGPL -/src/kernel_services/visitors/visitor_behavior.mli header_spec=CEA_INRIA_LGPL - -/src/libraries/datatype/unmarshal.ml header_spec=INRIA_BSD -/src/libraries/datatype/unmarshal.mli header_spec=INRIA_BSD -/src/libraries/datatype/unmarshal_hashtbl_test.ml header_spec=INRIA_BSD -/src/libraries/datatype/unmarshal_test.ml header_spec=INRIA_BSD -/src/libraries/project/state_topological.ml header_spec=MODIFIED_OCAMLGRAPH -/src/libraries/project/state_topological.mli header_spec=MODIFIED_OCAMLGRAPH -/src/libraries/utils/cilconfig.ml header_spec=CIL -/src/libraries/utils/cilconfig.mli header_spec=CIL -/src/libraries/utils/escape.ml header_spec=CIL -/src/libraries/utils/escape.mli header_spec=CIL -/src/libraries/utils/hptmap.ml header_spec=MODIFIED_MENHIR -/src/libraries/utils/hptmap.mli header_spec=MODIFIED_MENHIR -/src/libraries/utils/hptmap_sig.mli header_spec=MODIFIED_MENHIR -/src/libraries/utils/rangemap.ml header_spec=OCAML_STDLIB -/src/libraries/utils/rangemap.mli header_spec=OCAML_STDLIB -/src/libraries/utils/utf8_logic.ml header_spec=CEA_INRIA_LGPL -/src/libraries/utils/utf8_logic.mli header_spec=CEA_INRIA_LGPL - ######################## # HEADER_SPEC: .ignore # ######################## @@ -212,7 +110,10 @@ README* header_spec=.ignore /doc/CHANGES.obfuscator header_spec=.ignore /doc/LICENSE header_spec=.ignore /doc/MakeLaTeXModern header_spec=.ignore +/doc/acsl_tutorial_slides/script header_spec=.ignore +/doc/developer/METADOC.txt header_spec=.ignore /doc/qualification/testing header_spec=.ignore +/doc/release/periodic-elements.txt header_spec=.ignore /doc/value/watchpoints header_spec=.ignore /doc/scope/M.v header_spec=.ignore @@ -220,7 +121,6 @@ README* header_spec=.ignore /doc/frama-c-book.* header_spec=.ignore /doc/*.hva header_spec=.ignore -/doc/acsl_tutorial_slides/script header_spec=.ignore /doc/training/**/* header_spec=.ignore /doc/value/examples/parametrizing/*.log header_spec=.ignore /doc/*/**/Make* header_spec=.ignore @@ -230,15 +130,15 @@ README* header_spec=.ignore /doc/**/*.c header_spec=.ignore /doc/**/*.graphml header_spec=.ignore /doc/**/*.h header_spec=.ignore -/doc/**/*.htm header_spec=.ignore /doc/**/*.html header_spec=.ignore /doc/**/*.lua header_spec=.ignore -/doc/**/*.ml header_spec=.ignore +/doc/slicing/algo.ml header_spec=.ignore +/doc/*/*/**/*.ml header_spec=.ignore /doc/**/*.mli header_spec=.ignore /doc/**/*.mll header_spec=.ignore /doc/**/*.oracle header_spec=.ignore /doc/**/*.tex header_spec=.ignore -/doc/**/*.txt header_spec=.ignore +/doc/*/*/**/*.txt header_spec=.ignore /doc/**/*.sh header_spec=.ignore /headers/open-source/* header_spec=.ignore @@ -274,8 +174,6 @@ README* header_spec=.ignore /share/framac.vim header_spec=.ignore /share/META.frama-c header_spec=.ignore -/share/libc/argz.h header_spec=.ignore -/share/libc/argz.c header_spec=.ignore /share/analysis-scripts/readme-graph.graphml header_spec=.ignore /share/analysis-scripts/pyproject.toml header_spec=.ignore /share/win32_installer.iss header_spec=.ignore @@ -283,3 +181,116 @@ README* header_spec=.ignore /share/compliance/*.json header_spec=.ignore /tests/**/* header_spec=.ignore + +####################### +# HEADER_SPEC: others # +####################### + +/configure.in header_spec=CEA_INRIA_LGPL + +/doc/aorai/Makefile header_spec=AORAI_LGPL + +/share/analysis-scripts/flamegraph.pl header_spec=CDDL +/share/emacs/acsl.el header_spec=CEA_PR_LGPL +/share/libc/argz.h header_spec=CEA_FSF_LGPL +/share/libc/argz.c header_spec=CEA_FSF_LGPL +/share/machdep.c header_spec=CIL + +/src/kernel_internals/parsing/clexer.mli header_spec=CIL +/src/kernel_internals/parsing/clexer.mll header_spec=CIL +/src/kernel_internals/parsing/cparser.mly header_spec=CIL +/src/kernel_internals/parsing/errorloc.ml header_spec=CIL +/src/kernel_internals/parsing/errorloc.mli header_spec=CIL +/src/kernel_internals/parsing/lexerhack.ml header_spec=CIL +/src/kernel_internals/parsing/lexerhack.mli header_spec=CIL +/src/kernel_internals/parsing/logic_lexer.mli header_spec=CEA_INRIA_LGPL +/src/kernel_internals/parsing/logic_lexer.mll header_spec=CEA_INRIA_LGPL +/src/kernel_internals/parsing/logic_parser.mly header_spec=CEA_INRIA_LGPL +/src/kernel_internals/parsing/logic_preprocess.mli header_spec=CEA_INRIA_LGPL +/src/kernel_internals/parsing/logic_preprocess.mll header_spec=CEA_INRIA_LGPL +/src/kernel_internals/runtime/machdeps.ml header_spec=CIL +/src/kernel_internals/runtime/machdeps.mli header_spec=CIL +/src/kernel_internals/typing/alpha.ml header_spec=CIL +/src/kernel_internals/typing/alpha.mli header_spec=CIL +/src/kernel_internals/typing/cabs2cil.ml header_spec=CIL +/src/kernel_internals/typing/cabs2cil.mli header_spec=CIL +/src/kernel_internals/typing/cfg.ml header_spec=CIL +/src/kernel_internals/typing/cfg.mli header_spec=CIL +/src/kernel_internals/typing/frontc.ml header_spec=CIL +/src/kernel_internals/typing/frontc.mli header_spec=CIL +/src/kernel_internals/typing/logic_builtin.ml header_spec=CEA_INRIA_LGPL +/src/kernel_internals/typing/logic_builtin.mli header_spec=CEA_INRIA_LGPL +/src/kernel_internals/typing/mergecil.ml header_spec=CIL +/src/kernel_internals/typing/mergecil.mli header_spec=CIL +/src/kernel_internals/typing/oneret.ml header_spec=CIL +/src/kernel_internals/typing/oneret.mli header_spec=CIL +/src/kernel_internals/typing/rmtmps.ml header_spec=CIL +/src/kernel_internals/typing/rmtmps.mli header_spec=CIL +/src/kernel_internals/typing/translate_lightweight.ml header_spec=CEA_INRIA_LGPL +/src/kernel_internals/typing/translate_lightweight.mli header_spec=CEA_INRIA_LGPL +/src/kernel_services/analysis/dataflows.ml header_spec=CIL +/src/kernel_services/analysis/dataflows.mli header_spec=CIL +/src/kernel_services/ast_data/cil_types.mli header_spec=CIL +/src/kernel_services/ast_printing/cprint.ml header_spec=CIL +/src/kernel_services/ast_printing/cprint.mli header_spec=CIL +/src/kernel_services/ast_printing/logic_print.ml header_spec=CEA_INRIA_LGPL +/src/kernel_services/ast_printing/logic_print.mli header_spec=CEA_INRIA_LGPL +/src/kernel_services/ast_queries/cil.ml header_spec=CIL +/src/kernel_services/ast_queries/cil.mli header_spec=CIL +/src/kernel_services/ast_queries/cil_builtins.ml header_spec=CIL +/src/kernel_services/ast_queries/cil_builtins.mli header_spec=CIL +/src/kernel_services/ast_queries/cil_const.ml header_spec=CIL +/src/kernel_services/ast_queries/cil_const.mli header_spec=CIL +/src/kernel_services/ast_queries/logic_const.ml header_spec=CEA_INRIA_LGPL +/src/kernel_services/ast_queries/logic_const.mli header_spec=CEA_INRIA_LGPL +/src/kernel_services/ast_queries/logic_env.ml header_spec=CEA_INRIA_LGPL +/src/kernel_services/ast_queries/logic_env.mli header_spec=CEA_INRIA_LGPL +/src/kernel_services/ast_queries/logic_typing.ml header_spec=CEA_INRIA_LGPL +/src/kernel_services/ast_queries/logic_typing.mli header_spec=CEA_INRIA_LGPL +/src/kernel_services/ast_queries/logic_utils.ml header_spec=CEA_INRIA_LGPL +/src/kernel_services/ast_queries/logic_utils.mli header_spec=CEA_INRIA_LGPL +/src/kernel_services/parsetree/cabs.mli header_spec=CIL +/src/kernel_services/parsetree/cabshelper.ml header_spec=CIL +/src/kernel_services/parsetree/cabshelper.mli header_spec=CIL +/src/kernel_services/parsetree/logic_ptree.mli header_spec=CEA_INRIA_LGPL +/src/kernel_services/visitors/cabsvisit.ml header_spec=CIL +/src/kernel_services/visitors/cabsvisit.mli header_spec=CIL +/src/kernel_services/visitors/visitor_behavior.ml header_spec=CEA_INRIA_LGPL +/src/kernel_services/visitors/visitor_behavior.mli header_spec=CEA_INRIA_LGPL + +/src/libraries/datatype/unmarshal.ml header_spec=INRIA_BSD +/src/libraries/datatype/unmarshal.mli header_spec=INRIA_BSD +/src/libraries/datatype/unmarshal_hashtbl_test.ml header_spec=INRIA_BSD +/src/libraries/datatype/unmarshal_test.ml header_spec=INRIA_BSD +/src/libraries/project/state_topological.ml header_spec=MODIFIED_OCAMLGRAPH +/src/libraries/project/state_topological.mli header_spec=MODIFIED_OCAMLGRAPH +/src/libraries/utils/cilconfig.ml header_spec=CIL +/src/libraries/utils/cilconfig.mli header_spec=CIL +/src/libraries/utils/escape.ml header_spec=CIL +/src/libraries/utils/escape.mli header_spec=CIL +/src/libraries/utils/hptmap.ml header_spec=MODIFIED_MENHIR +/src/libraries/utils/hptmap.mli header_spec=MODIFIED_MENHIR +/src/libraries/utils/hptmap_sig.mli header_spec=MODIFIED_MENHIR +/src/libraries/utils/rangemap.ml header_spec=OCAML_STDLIB +/src/libraries/utils/rangemap.mli header_spec=OCAML_STDLIB +/src/libraries/utils/utf8_logic.ml header_spec=CEA_INRIA_LGPL +/src/libraries/utils/utf8_logic.mli header_spec=CEA_INRIA_LGPL + +######################### +# HEADER_SPEC: CEA_LGPL # +######################### + +/bin/frama-c* header_spec=CEA_LGPL + +/doc/code/*.txt header_spec=CEA_LGPL +/devel_tools/git-hooks/pre-commit header_spec=CEA_LGPL + +/headers/headache_config.txt header_spec=CEA_LGPL +/headers/*.sh header_spec=CEA_LGPL_OR_PROPRIETARY + +/share/autocomplete_frama-c header_spec=CEA_LGPL +/share/emacs/frama-c-*.el header_spec=CEA_LGPL +/share/_frama-c header_spec=CEA_LGPL + +/src/kernel_internals/runtime/fc_config.ml.in header_spec=CEA_LGPL +/src/libraries/stdlib/transitioning.ml.in header_spec=CEA_LGPL diff --git a/src/plugins/.gitattributes b/src/plugins/.gitattributes new file mode 100644 index 00000000000..856f653c296 --- /dev/null +++ b/src/plugins/.gitattributes @@ -0,0 +1,47 @@ +######################################## +# HEADER_SPEC: CEA_LGPL_OR_PROPRIETARY # +######################################## + +config* header_spec=CEA_LGPL_OR_PROPRIETARY +makefile* header_spec=CEA_LGPL_OR_PROPRIETARY +Make* header_spec=CEA_LGPL_OR_PROPRIETARY +*.mk header_spec=CEA_LGPL_OR_PROPRIETARY + + +*.c header_spec=CEA_LGPL_OR_PROPRIETARY +*.h header_spec=CEA_LGPL_OR_PROPRIETARY + +*.htm header_spec=CEA_LGPL_OR_PROPRIETARY +*.html header_spec=CEA_LGPL_OR_PROPRIETARY + +*.js header_spec=CEA_LGPL_OR_PROPRIETARY + +*.ml header_spec=CEA_LGPL_OR_PROPRIETARY +*.ml.in header_spec=CEA_LGPL_OR_PROPRIETARY +*.mli header_spec=CEA_LGPL_OR_PROPRIETARY +*.mli.in header_spec=CEA_LGPL_OR_PROPRIETARY +*.mll header_spec=CEA_LGPL_OR_PROPRIETARY +*.mly header_spec=CEA_LGPL_OR_PROPRIETARY + +*.xml header_spec=CEA_LGPL_OR_PROPRIETARY + +*.pl header_spec=CEA_LGPL_OR_PROPRIETARY + +*.py header_spec=CEA_LGPL_OR_PROPRIETARY + +*.rc header_spec=CEA_LGPL_OR_PROPRIETARY + +*.sh header_spec=CEA_LGPL_OR_PROPRIETARY +*.zsh header_spec=CEA_LGPL_OR_PROPRIETARY + +*.css header_spec=CEA_LGPL_OR_PROPRIETARY + +*.ts header_spec=CEA_LGPL_OR_PROPRIETARY +*.tsx header_spec=CEA_LGPL_OR_PROPRIETARY + +######################## +# HEADER_SPEC: .ignore # +######################## + +/*/tests/**/* header_spec=.ignore + diff --git a/src/plugins/dive/.gitattributes b/src/plugins/dive/.gitattributes deleted file mode 100644 index 619504ea1ca..00000000000 --- a/src/plugins/dive/.gitattributes +++ /dev/null @@ -1,5 +0,0 @@ -######################## -# HEADER_SPEC: .ignore # -######################## - -/tests/**/* header_spec=.ignore diff --git a/src/plugins/instantiate/.gitattributes b/src/plugins/instantiate/.gitattributes deleted file mode 100644 index 619504ea1ca..00000000000 --- a/src/plugins/instantiate/.gitattributes +++ /dev/null @@ -1,5 +0,0 @@ -######################## -# HEADER_SPEC: .ignore # -######################## - -/tests/**/* header_spec=.ignore diff --git a/src/plugins/loop_analysis/.gitattributes b/src/plugins/loop_analysis/.gitattributes deleted file mode 100644 index 619504ea1ca..00000000000 --- a/src/plugins/loop_analysis/.gitattributes +++ /dev/null @@ -1,5 +0,0 @@ -######################## -# HEADER_SPEC: .ignore # -######################## - -/tests/**/* header_spec=.ignore diff --git a/src/plugins/markdown-report/.gitattributes b/src/plugins/markdown-report/.gitattributes index 1bda6ba4ccd..e558434280b 100644 --- a/src/plugins/markdown-report/.gitattributes +++ b/src/plugins/markdown-report/.gitattributes @@ -3,7 +3,3 @@ ######################## /META.in header_spec=.ignore - -/share/acsl.xml header_spec=.ignore - -/tests/**/* header_spec=.ignore diff --git a/src/plugins/nonterm/.gitattributes b/src/plugins/nonterm/.gitattributes deleted file mode 100644 index 619504ea1ca..00000000000 --- a/src/plugins/nonterm/.gitattributes +++ /dev/null @@ -1,5 +0,0 @@ -######################## -# HEADER_SPEC: .ignore # -######################## - -/tests/**/* header_spec=.ignore diff --git a/src/plugins/report/.gitattributes b/src/plugins/report/.gitattributes deleted file mode 100644 index 619504ea1ca..00000000000 --- a/src/plugins/report/.gitattributes +++ /dev/null @@ -1,5 +0,0 @@ -######################## -# HEADER_SPEC: .ignore # -######################## - -/tests/**/* header_spec=.ignore diff --git a/src/plugins/server/.gitattributes b/src/plugins/server/.gitattributes deleted file mode 100644 index 619504ea1ca..00000000000 --- a/src/plugins/server/.gitattributes +++ /dev/null @@ -1,5 +0,0 @@ -######################## -# HEADER_SPEC: .ignore # -######################## - -/tests/**/* header_spec=.ignore diff --git a/src/plugins/variadic/.gitattributes b/src/plugins/variadic/.gitattributes deleted file mode 100644 index c513f54253f..00000000000 --- a/src/plugins/variadic/.gitattributes +++ /dev/null @@ -1,7 +0,0 @@ -######################## -# HEADER_SPEC: .ignore # -######################## - -/todo.txt header_spec=.ignore - -/tests/**/* header_spec=.ignore diff --git a/src/plugins/wp/.gitattributes b/src/plugins/wp/.gitattributes index cd25ae10f5e..e40f62d0ebb 100644 --- a/src/plugins/wp/.gitattributes +++ b/src/plugins/wp/.gitattributes @@ -18,6 +18,8 @@ Makefile.in header_spec=CEA_WP Makefile.resources header_spec=CEA_WP MakeDoc header_spec=CEA_WP +/intro_wp.txt header_spec=CEA_WP + ####################### # HEADER_SPEC: others # ####################### @@ -51,8 +53,6 @@ MakeDoc header_spec=CEA_WP # HEADER_SPEC: .ignore # ######################## -/intro_wp.txt header_spec=.ignore - /doc/coqdoc/coq2tex/coq2html.js header_spec=.ignore /doc/coqdoc/coq2tex/*.css header_spec=.ignore /doc/coqdoc/coq2tex/*.html header_spec=.ignore -- GitLab