Merge branch 'fix/andre/gitignores' into 'master'

update .gitignore to match tracked files

Closes #819

See merge request frama-c/frama-c!2565

.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
 

bin/.gitignore

@@ -3,7 +3,6 @@
 /*.opt
 /toplevel.top
 /fc-config
-*.byte
 *.opt
 toplevel.top
 /machdep.exe

doc/code/.gitignore

@@ -6,7 +6,6 @@
 /callgraph_gui/
 /constant_propagation/
 /counter-examples/
-/docgen.ml
 /dynamic_plugins/
 /e-acsl/
 /from/

src/plugins/wp/doc/.gitignore

-cealistlogo.jpg
 frama-c-book.cls
-frama-c-cover.pdf
-frama-c-left.pdf
-frama-c-right.pdf
 feedback
 /html