From 32ac67fca28caa47c7280817612a34543fd46948 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 3 Dec 2019 14:00:39 +0100
Subject: [PATCH] [doc] update .gitignore for when running 'make doc'

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

diff --git a/doc/code/.gitignore b/doc/code/.gitignore
index d215811ad78..709e618f635 100644
--- a/doc/code/.gitignore
+++ b/doc/code/.gitignore
@@ -16,6 +16,7 @@
 /inout/
 /kernel-doc.ocamldoc
 /loop_analysis/
+/markdown-report/
 /metrics/
 /nonterm/
 /obfuscator/
-- 
GitLab