diff --git a/.gitignore b/.gitignore index e304352d827a2cd1d6526cb23b6f68fa77bc4b74..f0eff975f0ed1f0788644d01adb9cc7da866566f 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