Add make target for printing version (#26657) (#27030)

This commit is contained in:
John R Barker 2017-07-19 09:04:17 +01:00 committed by GitHub
parent a3817721fc
commit 316ef8a069

View file

@ -303,3 +303,7 @@ webdocs:
docs: $(MANPAGES)
alldocs: docs webdocs
version:
@echo $(VERSION)