diff --git a/src/plugins/markdown-report/Makefile.in b/src/plugins/markdown-report/Makefile.in index 08888a351e3e68ad376680cc5b0a62af9bd527f4..08dec2b3520bd3c3cc80e203121373bce8dce2e5 100644 --- a/src/plugins/markdown-report/Makefile.in +++ b/src/plugins/markdown-report/Makefile.in @@ -39,7 +39,8 @@ PLUGIN_CMO:=\ PLUGIN_DISTRIBUTED:=$(PLUGIN_ENABLE) PLUGIN_REQUIRES:=ppx_deriving ppx_deriving_yojson yojson PLUGIN_DISTRIB_EXTERNAL:=\ - Makefile.in configure.ac configure share/acsl.xml eva_info.ml eva_info.mli + Makefile.in configure.ac configure share/acsl.xml META.in \ + eva_info.ml eva_info.mli PLUGIN_DEPFLAGS:= $(PLUGIN_DIR)/eva_info.mli $(PLUGIN_DIR)/eva_info.ml PLUGIN_TESTS_DIRS:= md sarif