diff --git a/src/plugins/markdown-report/Makefile b/src/plugins/markdown-report/Makefile index 6cab2e41d61d8b5ddde0945a31502a2269bf088b..3c39dd629b47c4f3879cbf1f8e6810bfdccf94bb 100644 --- a/src/plugins/markdown-report/Makefile +++ b/src/plugins/markdown-report/Makefile @@ -2,7 +2,7 @@ ifndef FRAMAC_SHARE FRAMAC_SHARE:=$(shell frama-c -print-share-path) endif -Report_markdown_VERSION:=0.1~alpha +Report_markdown_VERSION:=0.1~beta PLUGIN_NAME:=Report_markdown PLUGIN_GENERATED:=mdr_version.ml