diff --git a/doc/code/.gitignore b/doc/code/.gitignore
index 8fe76cbf5c38b74c255641dfcec33d154b838dbd..1d73c356b6039b7067e73208b62fbcac0854fb10 100644
--- a/doc/code/.gitignore
+++ b/doc/code/.gitignore
@@ -25,6 +25,7 @@
 /pdg/
 /postdominators/
 /print_api/
+/reduc/
 /report/
 /rte/
 /scope/