diff --git a/doc/code/.gitignore b/doc/code/.gitignore
index 05325c534d0a551dca0cd670d1af3259695c1272..8fe76cbf5c38b74c255641dfcec33d154b838dbd 100644
--- a/doc/code/.gitignore
+++ b/doc/code/.gitignore
@@ -6,6 +6,7 @@
 /callgraph_gui/
 /constant_propagation/
 /counter-examples/
+/dive/
 /dynamic_plugins/
 /e-acsl/
 /from/