diff --git a/.gitignore b/.gitignore
index b4fbb18004f8bab9db8d701d49adff8526b9d748..1280fb74b6358d88d5bc8c8d488d981b1569472f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -195,7 +195,6 @@ Makefile.plugin.generated
 /src/kernel_internals/parsing/clexer.ml
 /src/kernel_internals/parsing/cparser.ml
 /src/kernel_internals/parsing/cparser.mli
-/src/kernel_services/ast_queries/json_compilation_database.ml
 /src/libraries/stdlib/transitioning.ml
 /src/plugins/gui/dgraph.ml
 /src/plugins/gui/dgraph.mli
@@ -205,8 +204,6 @@ Makefile.plugin.generated
 /src/plugins/gui/GSourceView2.ml
 /src/plugins/gui/GSourceView2.mli
 /src/plugins/gui/gtk_compat.ml
-/src/plugins/value/domains/apron/apron_domain.ml
-/src/plugins/value/domains/numerors/numerors_domain.ml
 
 # generated tar.gz files
 
diff --git a/bin/.gitignore b/bin/.gitignore
index fc59a2e18284758529f119f352e7449d04c232f6..db6f24e3c35ca460314be19795195f309ac4150e 100644
--- a/bin/.gitignore
+++ b/bin/.gitignore
@@ -3,7 +3,6 @@
 /*.opt
 /toplevel.top
 /fc-config
-*.byte
 *.opt
 toplevel.top
 /machdep.exe
diff --git a/doc/code/.gitignore b/doc/code/.gitignore
index 709e618f635278a575c236a63f0075c1224346d4..ef81e4e5daf2838db46ca5f09adb2a14f5811d64 100644
--- a/doc/code/.gitignore
+++ b/doc/code/.gitignore
@@ -6,7 +6,6 @@
 /callgraph_gui/
 /constant_propagation/
 /counter-examples/
-/docgen.ml
 /dynamic_plugins/
 /e-acsl/
 /from/
diff --git a/src/plugins/wp/doc/.gitignore b/src/plugins/wp/doc/.gitignore
index 8007f818b5725f05dddaf20f56accf28ccdca323..e195051b60210ec0669af77b336478afbeb0e052 100644
--- a/src/plugins/wp/doc/.gitignore
+++ b/src/plugins/wp/doc/.gitignore
@@ -1,7 +1,3 @@
-cealistlogo.jpg
 frama-c-book.cls
-frama-c-cover.pdf
-frama-c-left.pdf
-frama-c-right.pdf
 feedback
 /html