update .gitignore for 'make doc' outputs

cca02055 · Andre Maroneze · 55392f04 · cca02055
Commit cca02055 authored Jul 27, 2020 by Andre Maroneze 💬
--- a/doc/code/.gitignore
+++ b/doc/code/.gitignore
@@ -6,6 +6,7 @@
 /callgraph_gui/
 /constant_propagation/
 /counter-examples/
+/dive/
 /dynamic_plugins/
 /e-acsl/
 /from/