diff --git a/src/plugins/markdown-report/Makefile.in b/src/plugins/markdown-report/Makefile.in
index a12c24717659b288d576805fb730a7319fd89bbb..9ef075fbc3af4e828df07e21331769878dc4119f 100644
--- a/src/plugins/markdown-report/Makefile.in
+++ b/src/plugins/markdown-report/Makefile.in
@@ -25,7 +25,10 @@ $(Markdown_report_DIR)/Markdown_report.mli: \
 	cat $(Markdown_report_DIR)/md_gen.mli >> $@
 	echo "end" >> $@
 
+ifeq ("@ENABLE_MDR@","yes")
 install::
 	$(PRINT_CP) $(FRAMAC_DATADIR)/Markdown_report
 	$(MKDIR) $(FRAMAC_DATADIR)/Markdown_report
-	$(CP) share/acsl.xml $(FRAMAC_DATADIR)/Markdown_report
+	$(CP) $(Markdown_report_DIR)/share/acsl.xml \
+              $(FRAMAC_DATADIR)/Markdown_report
+endif