diff --git a/ivette/Makefile.distrib b/ivette/Makefile.distrib
deleted file mode 100644
index c63e0006e27bfda342fe1463da88531a0d80e707..0000000000000000000000000000000000000000
--- a/ivette/Makefile.distrib
+++ /dev/null
@@ -1,239 +0,0 @@
-##########################################################################
-# #
-# This file is part of Frama-C. #
-# #
-# Copyright (C) 2007-2022 #
-# CEA (Commissariat à l'énergie atomique et aux énergies #
-# alternatives) #
-# #
-# you can redistribute it and/or modify it under the terms of the GNU #
-# Lesser General Public License as published by the Free Software #
-# Foundation, version 2.1. #
-# #
-# It is distributed in the hope that it will be useful, #
-# but WITHOUT ANY WARRANTY; without even the implied warranty of #
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the #
-# 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 licenses/LGPLv2.1). #
-# #
-##########################################################################
-
-HEADER_SPEC += ivette/./headers/header_spec.txt
-DISTRIB_FILES += ivette/.babelrc
-DISTRIB_FILES += ivette/.dome-pkg-app.lock
-DISTRIB_FILES += ivette/.dome-pkg-dev.lock
-DISTRIB_FILES += ivette/.eslintignore
-DISTRIB_FILES += ivette/.eslintrc.js
-DISTRIB_FILES += ivette/.gitignore
-DISTRIB_FILES += ivette/CONTRIBUTING.md
-DISTRIB_FILES += ivette/INSTALL.md
-DISTRIB_FILES += ivette/Makefile
-DISTRIB_FILES += ivette/README.md
-DISTRIB_FILES += ivette/configure.js
-DISTRIB_FILES += ivette/distrib.sh
-DISTRIB_FILES += ivette/doc/pandoc/href.lua
-DISTRIB_FILES += ivette/doc/pandoc/index.json
-DISTRIB_FILES += ivette/doc/pandoc/template.html
-DISTRIB_FILES += ivette/electron-builder.json
-DISTRIB_FILES += ivette/electron-webpack.json
-DISTRIB_FILES += ivette/ivette-macos.sh
-DISTRIB_FILES += ivette/package.json
-DISTRIB_FILES += ivette/sandboxer.js
-DISTRIB_FILES += ivette/src/dome/.gitignore
-DISTRIB_FILES += ivette/src/dome/CONTRIBUTING.md
-DISTRIB_FILES += ivette/src/dome/CONTRIBUTORS.md
-DISTRIB_FILES += ivette/src/dome/LICENSE.md
-DISTRIB_FILES += ivette/src/dome/README.md
-DISTRIB_FILES += ivette/src/dome/doc/README.md
-DISTRIB_FILES += ivette/src/dome/doc/config.json
-DISTRIB_FILES += ivette/src/dome/doc/gallery.css
-DISTRIB_FILES += ivette/src/dome/doc/guides/application.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/development.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/dome.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/glossary.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/hooks.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/hotreload.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/quickstart.md
-DISTRIB_FILES += ivette/src/dome/doc/guides/styling.md
-DISTRIB_FILES += ivette/src/dome/doc/icons.js
-DISTRIB_FILES += ivette/src/dome/doc/iconsmd.js
-DISTRIB_FILES += ivette/src/dome/doc/template/gallery-head.html
-DISTRIB_FILES += ivette/src/dome/doc/template/gallery-tail.html
-DISTRIB_FILES += ivette/src/dome/doc/template/publish.js
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.eot
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.svg
-DISTRIB_FILES += ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.woff
-DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/linenumber.js
-DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/prettify/Apache-License-2.0.txt
-DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/prettify/lang-css.js
-DISTRIB_FILES += ivette/src/dome/doc/template/static/scripts/prettify/prettify.js
-DISTRIB_FILES += ivette/src/dome/doc/template/static/styles/jsdoc-default.css
-DISTRIB_FILES += ivette/src/dome/doc/template/static/styles/prettify-jsdoc.css
-DISTRIB_FILES += ivette/src/dome/doc/template/static/styles/prettify-tomorrow.css
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/augments.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/container.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/details.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/example.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/examples.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/exceptions.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/layout.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/mainpage.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/members.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/method.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/params.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/properties.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/returns.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/source.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/tutorial.tmpl
-DISTRIB_FILES += ivette/src/dome/doc/template/tmpl/type.tmpl
-DISTRIB_FILES += ivette/src/dome/examples/Makefile
-DISTRIB_FILES += ivette/src/dome/examples/README.md
-DISTRIB_FILES += ivette/src/dome/main/dome.ts
-DISTRIB_FILES += ivette/src/dome/main/menubar.ts
-DISTRIB_FILES += ivette/src/dome/misc/devtools.js
-DISTRIB_FILES += ivette/src/dome/misc/register.js
-DISTRIB_FILES += ivette/src/dome/misc/system.ts
-DISTRIB_FILES += ivette/src/dome/misc/utils.ts
-DISTRIB_FILES += ivette/src/dome/renderer/controls/buttons.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/controls/displays.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/controls/gallery.json
-DISTRIB_FILES += ivette/src/dome/renderer/controls/icons.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/controls/labels.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/controls/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/dark.css
-DISTRIB_FILES += ivette/src/dome/renderer/data/compare.ts
-DISTRIB_FILES += ivette/src/dome/renderer/data/json.ts
-DISTRIB_FILES += ivette/src/dome/renderer/data/library.js
-DISTRIB_FILES += ivette/src/dome/renderer/data/settings.ts
-DISTRIB_FILES += ivette/src/dome/renderer/data/states.ts
-DISTRIB_FILES += ivette/src/dome/renderer/dialogs.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/dnd.js
-DISTRIB_FILES += ivette/src/dome/renderer/dome.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/errors.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/frame/sidebars.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/frame/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/frame/tabs.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/frame/toolbars.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/boxes.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/dispatch.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/forms.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/grids.js
-DISTRIB_FILES += ivette/src/dome/renderer/layout/qsplit.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/splitters.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/layout/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/light.css
-DISTRIB_FILES += ivette/src/dome/renderer/newdnd.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/table/arrays.ts
-DISTRIB_FILES += ivette/src/dome/renderer/table/models.ts
-DISTRIB_FILES += ivette/src/dome/renderer/table/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/table/views.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/text/buffers.ts
-DISTRIB_FILES += ivette/src/dome/renderer/text/dark-code.css
-DISTRIB_FILES += ivette/src/dome/renderer/text/editors.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/text/pages.tsx
-DISTRIB_FILES += ivette/src/dome/renderer/text/style.css
-DISTRIB_FILES += ivette/src/dome/renderer/themes.tsx
-DISTRIB_FILES += ivette/src/dome/template/Application.js
-DISTRIB_FILES += ivette/src/dome/template/Preferences.js
-DISTRIB_FILES += ivette/src/dome/template/babelrc.json
-DISTRIB_FILES += ivette/src/dome/template/dome-pull.sh
-DISTRIB_FILES += ivette/src/dome/template/dome-push.sh
-DISTRIB_FILES += ivette/src/dome/template/electron-webpack.json
-DISTRIB_FILES += ivette/src/dome/template/export.sh
-DISTRIB_FILES += ivette/src/dome/template/git-ignore
-DISTRIB_FILES += ivette/src/dome/template/main.js
-DISTRIB_FILES += ivette/src/dome/template/makefile
-DISTRIB_FILES += ivette/src/dome/template/makefile.app.packages
-DISTRIB_FILES += ivette/src/dome/template/makefile.packages
-DISTRIB_FILES += ivette/src/dome/template/package.sh
-DISTRIB_FILES += ivette/src/dome/template/renderer.js
-DISTRIB_FILES += ivette/src/dome/template/typescript.el
-DISTRIB_FILES += ivette/src/dome/template/update.sh
-DISTRIB_FILES += ivette/src/dome/template/webpack.main.js
-DISTRIB_FILES += ivette/src/dome/template/webpack.renderer.js
-DISTRIB_FILES += ivette/src/frama-c/api_generator.ml
-DISTRIB_FILES += ivette/src/frama-c/client.ts
-DISTRIB_FILES += ivette/src/frama-c/client_socket.ts
-DISTRIB_FILES += ivette/src/frama-c/client_zmq.ts
-DISTRIB_FILES += ivette/src/frama-c/index.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/ASTinfo.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/ASTview.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/Globals.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/History.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/Locations.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/Messages.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/PivotTable-style.css
-DISTRIB_FILES += ivette/src/frama-c/kernel/PivotTable.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/Properties.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/SourceCode.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/Status.tsx
-DISTRIB_FILES += ivette/src/frama-c/kernel/api/ast/index.ts
-DISTRIB_FILES += ivette/src/frama-c/kernel/api/data/index.ts
-DISTRIB_FILES += ivette/src/frama-c/kernel/api/project/index.ts
-DISTRIB_FILES += ivette/src/frama-c/kernel/api/properties/index.ts
-DISTRIB_FILES += ivette/src/frama-c/kernel/api/services/index.ts
-DISTRIB_FILES += ivette/src/frama-c/kernel/style.css
-DISTRIB_FILES += ivette/src/frama-c/menu.ts
-DISTRIB_FILES += ivette/src/frama-c/pkg.json
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/api/index.ts
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/cytoscape_libs.js
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/index.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/layouts.json
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/pkg.json
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/react-cytoscapejs.d.ts
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/style.json
-DISTRIB_FILES += ivette/src/frama-c/plugins/dive/tippy.css
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/Coverage.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/CoverageMeter.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/Summary.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/api/general/index.ts
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/api/values/index.ts
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/index.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/pkg.json
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/style.css
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/style_summary.css
-DISTRIB_FILES += ivette/src/frama-c/plugins/eva/valuetable.tsx
-DISTRIB_FILES += ivette/src/frama-c/plugins/pivot/api/general/index.ts
-DISTRIB_FILES += ivette/src/frama-c/plugins/studia/api/studia/index.ts
-DISTRIB_FILES += ivette/src/frama-c/react-pivottable.d.ts
-DISTRIB_FILES += ivette/src/frama-c/richtext.tsx
-DISTRIB_FILES += ivette/src/frama-c/server.ts
-DISTRIB_FILES += ivette/src/frama-c/states.ts
-DISTRIB_FILES += ivette/src/ivette/index.tsx
-DISTRIB_FILES += ivette/src/ivette/prefs.tsx
-DISTRIB_FILES += ivette/src/main/index.js
-DISTRIB_FILES += ivette/src/renderer/Application.tsx
-DISTRIB_FILES += ivette/src/renderer/Controller.tsx
-DISTRIB_FILES += ivette/src/renderer/Extensions.tsx
-DISTRIB_FILES += ivette/src/renderer/Laboratory.tsx
-DISTRIB_FILES += ivette/src/renderer/Preferences.tsx
-DISTRIB_FILES += ivette/src/renderer/index.js
-DISTRIB_FILES += ivette/src/renderer/style.css
-DISTRIB_FILES += ivette/src/sandbox/README.md
-DISTRIB_FILES += ivette/src/sandbox/qsplit.tsx
-DISTRIB_FILES += ivette/src/sandbox/usednd.tsx
-DISTRIB_FILES += ivette/tests/eva-1.i
-DISTRIB_FILES += ivette/tests/eva-2.i
-DISTRIB_FILES += ivette/tsconfig.json
-DISTRIB_FILES += ivette/tsfmt.json
-DISTRIB_FILES += ivette/webpack.main.js
-DISTRIB_FILES += ivette/webpack.renderer.js
-DISTRIB_FILES += ivette/yarn.lock
diff --git a/ivette/distrib.sh b/ivette/distrib.sh
deleted file mode 100755
index bf3f52392ee8af21f0f2d32e441a1dec2d072b6f..0000000000000000000000000000000000000000
--- a/ivette/distrib.sh
+++ /dev/null
@@ -1,90 +0,0 @@
-#!/bin/sh -e
-##########################################################################
-# #
-# This file is part of Frama-C. #
-# #
-# Copyright (C) 2007-2022 #
-# CEA (Commissariat à l'énergie atomique et aux énergies #
-# alternatives) #
-# #
-# you can redistribute it and/or modify it under the terms of the GNU #
-# Lesser General Public License as published by the Free Software #
-# Foundation, version 2.1. #
-# #
-# It is distributed in the hope that it will be useful, #
-# but WITHOUT ANY WARRANTY; without even the implied warranty of #
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the #
-# 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 licenses/LGPLv2.1). #
-# #
-##########################################################################
-
-# --------------------------------------------------------------------------
-# --- Generate Files for Ivette Distribution
-# --------------------------------------------------------------------------
-
-Distribute() {
- repo=$1
- Distrib=$repo/Makefile.distrib
- Headers=$repo/headers/header_spec.txt
- rm -f $Distrib
- rm -f $Headers
- mkdir -p $1/headers
- if [ "$repo" == "." ]
- then
- src=ivette
- else
- src=ivette/$repo
- fi
- echo "Distributing $src"
- echo "HEADER_SPEC += $src/./headers/header_spec.txt" >> $Distrib
- for f in $(git -C $repo ls-files .)
- do
- case $f in
- Makefile.distrib | headers/* | ivette.icns )
- ;;
- *)
- echo "DISTRIB_FILES += $src/$f" >> $Distrib
- case $f in
- *.sh | *.json | */dome/doc/* | configure.js | sandboxer.js | .* | webpack*.js )
- echo "$f: .ignore" >> $Headers
- ;;
- *Make* | *.js* | *.ts* | *.ml*)
- echo "$f: CEA_LGPL" >> $Headers
- ;;
- *)
- echo "$f: .ignore" >> $Headers
- ;;
- esac
- esac
- done
- chmod a-w $Distrib
- chmod a-w $Headers
- if [ "$repo" != "." ]
- then
- echo "include ivette/$Distrib" >> Makefile.plugins
- fi
-}
-
-## Distribute Core Ivette Files
-
-Distribute .
-
-## Distribute Ivette Plugins Files
-
-rm -f Makefile.plugins
-for rgit in $(find src -type d -name ".git")
-do
- Distribute $(dirname $rgit)
-done
-if [ -f Makefile.plugins ]
-then
- chmod a-w Makefile.plugins
-fi
-
-## Terminated.
-exit 0
-
-# --------------------------------------------------------------------------