diff --git a/ivette/Makefile.distrib b/ivette/Makefile.distrib index 1184cc99e59622d0db4da4e7cd9ae163b048ce8f..02f7a024dc5194201d7e70a2f91dccd5494d7ee7 100644 --- a/ivette/Makefile.distrib +++ b/ivette/Makefile.distrib @@ -147,7 +147,7 @@ DISTRIB_FILES += ivette/src/frama-c/api/generated/kernel/services/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/dive/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/eva/general/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/eva/values/index.ts -DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/metrics/pivot/index.ts +DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/pivot/general/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts DISTRIB_FILES += ivette/src/frama-c/api/generator.ml DISTRIB_FILES += ivette/src/frama-c/client.ts diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt index 6bb901857b5eb512f028045964af00b40a35f651..b41ae593231fac45596038d840bcc09628aefa98 100644 --- a/ivette/headers/header_spec.txt +++ b/ivette/headers/header_spec.txt @@ -147,7 +147,7 @@ src/frama-c/api/generated/kernel/services/index.ts: CEA_LGPL src/frama-c/api/generated/plugins/dive/index.ts: CEA_LGPL src/frama-c/api/generated/plugins/eva/general/index.ts: CEA_LGPL src/frama-c/api/generated/plugins/eva/values/index.ts: CEA_LGPL -src/frama-c/api/generated/plugins/metrics/pivot/index.ts: CEA_LGPL +src/frama-c/api/generated/plugins/pivot/general/index.ts: CEA_LGPL src/frama-c/api/generated/plugins/studia/studia/index.ts: CEA_LGPL src/frama-c/api/generator.ml: .ignore src/frama-c/client.ts: CEA_LGPL