diff --git a/.gitignore b/.gitignore
index a99e667dc2348fa7daf75cfa1b382ee6daab59c4..6739522d9ebbda34e9600cde95de35e626360aec 100644
--- a/.gitignore
+++ b/.gitignore
@@ -116,11 +116,6 @@ autom4te.cache
 /doc/code/print_api/dynamic_plugins.mli
 /doc/code/print_api/_build/
 
-/doc/code/builtin
-/doc/code/studia
-/doc/code/qed
-/doc/code/wp
-
 /doc/developer/tutorial/viewcfg/src/META.frama-c-viewcfg
 /doc/developer/tutorial/viewcfg/src/Makefile
 /doc/developer/tutorial/viewcfg/src/gui/
diff --git a/doc/code/.gitignore b/doc/code/.gitignore
index 1d73c356b6039b7067e73208b62fbcac0854fb10..94c6462e29b7c1ae8f0f29bad20a50c96e91a183 100644
--- a/doc/code/.gitignore
+++ b/doc/code/.gitignore
@@ -25,6 +25,7 @@
 /pdg/
 /postdominators/
 /print_api/
+/qed/
 /reduc/
 /report/
 /rte/
@@ -32,6 +33,7 @@
 /security_slicing/
 /slicing/
 /sparecode/
+/studia/
 /users/
 /value/
 /variadic/