diff --git a/Makefile b/Makefile index 32e9adc8846..f7c7e152134 100644 --- a/Makefile +++ b/Makefile @@ -319,3 +319,6 @@ docs: generate_asciidoc alldocs: docs webdocs +version: + @echo $(VERSION) +