From 174fdd41bac33a98a1faa2462257cee49d51d360 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Fri, 6 Mar 2020 14:08:51 +0100
Subject: [PATCH] update .gitignore to match tracked files

---
 .gitignore                    | 3 ---
 bin/.gitignore                | 1 -
 doc/code/.gitignore           | 1 -
 src/plugins/wp/doc/.gitignore | 4 ----
 4 files changed, 9 deletions(-)

diff --git a/.gitignore b/.gitignore
index 2b8b272dc8c..0508ad71d90 100644
--- a/.gitignore
+++ b/.gitignore
@@ -194,7 +194,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
@@ -204,8 +203,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 fc59a2e1828..db6f24e3c35 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 709e618f635..ef81e4e5daf 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 8007f818b57..e195051b602 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
-- 
GitLab