From 7e19d24e1d27c105434ea1fa5e4fa663bab69af1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 15 Sep 2021 10:14:56 +0200
Subject: [PATCH] Git: ignores the generated code documentation of plugin
 reduc.

---
 doc/code/.gitignore | 1 +
 1 file changed, 1 insertion(+)

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