From 8df3936bcdbbc91e6d2b17d0f61f747c1511fc9a Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 29 Jul 2022 10:30:33 +0200
Subject: [PATCH] Update .gitignore

---
 .gitignore | 21 ++-------------------
 1 file changed, 2 insertions(+), 19 deletions(-)

diff --git a/.gitignore b/.gitignore
index e304352d827..f0eff975f0e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -24,21 +24,10 @@ frama_c_journal.ml
 
 #build
 /_opam/
-configure
-autom4te.cache
-.log.autoconf
-/.depend
-/config.log
-/config.prefix
-/config.status
 /frama-c*.tar.gz
 /distributed
-/.log.autoconf
-/.Makefile.user
-/ocamlgraph/
-*.check_mli_exists
-.Makefile.plugin.generated
-.ocamldebug
+_build
+*.install
 
 # This file is generated (on need) during configure
 /src/plugins/dune
@@ -215,12 +204,6 @@ Makefile.plugin.generated
 /doc/developer/hello.tar.gz
 hello-*.tar.gz
 
-# Dune conversion
-.merlin
-_build
-*.install
-/config.sed
-
 # Nix
 
 # When a nix-build is executed it generates
-- 
GitLab