diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -112,9 +112,15 @@ ifneq ($(origin port_mk), undefined) include $(srcdir)/$(port_mk) endif -.PHONY: print-dists print-executables +.PHONY: print-dists print-executables print-version print-distversion print-dists: @echo $(DIST_FILES_DOCS) $(DIST_FILES_THEMES) $(DIST_FILES_NETWORKING) $(DIST_FILES_ENGINEDATA) $(srcdir)/doc print-executables: @echo $(if $(DIST_EXECUTABLES),$(DIST_EXECUTABLES),$(EXECUTABLE) $(PLUGINS)) + +print-version: + @echo $(VERSION) + +print-distversion: + @echo $(DISTVERSION) |