diff --git a/.gitignore b/.gitignore
index 6e056235f64c7cd8cd500327d9f0d8ef537e3866..4347726a1505146300b50238e3ba89521b2f725d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -209,3 +209,4 @@ 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/Makefile b/src/plugins/markdown-report/Makefile
index 12c2879b68ee8711554f182b8ab9d0aa29d0e0d6..a92ec35f6a8cb72c966dd19cfcf71b69a6b01ef6 100644
--- a/src/plugins/markdown-report/Makefile
+++ b/src/plugins/markdown-report/Makefile
@@ -5,7 +5,7 @@ endif
 Report_markdown_VERSION:=0.1~beta
 
 PLUGIN_NAME:=Report_markdown
-PLUGIN_GENERATED:=$(PLUGIN_DIR)/mdr_version.ml
+PLUGIN_GENERATED:=$(PLUGIN_DIR)/mdr_version.ml $(PLUGIN_DIR)/Report_markdown.mli
 PLUGIN_CMO:=\
   sarif mdr_version mdr_params parse_remarks \
   eva_coverage md_gen sarif_gen mdr_register