diff --git a/.gitignore b/.gitignore
index 4347726a1505146300b50238e3ba89521b2f725d..6e056235f64c7cd8cd500327d9f0d8ef537e3866 100644
--- a/.gitignore
+++ b/.gitignore
@@ -209,4 +209,3 @@ hello-*.tar.gz
 /tests/crowbar/integer_bb_pretty
 /src/plugins/gui/dgraph_helper.ml
 /doc/doxygen
-/src/plugins/markdown-report/Report_markdown.mli
diff --git a/src/plugins/markdown-report/.gitignore b/src/plugins/markdown-report/.gitignore
index b43cf1317bc5da2eca864bee0358f163ddae4ac4..46c46f820766847e950d4c7024dce34c8f93e722 100644
--- a/src/plugins/markdown-report/.gitignore
+++ b/src/plugins/markdown-report/.gitignore
@@ -8,3 +8,4 @@ top/
 .merlin
 *~
 /mdr_version.ml
+/Report_markdown.mli