誤って削除したmake versionを戻す

diff --git a/Makefile b/Makefile
index fb8355c49632355c3a9c69740846d96b77915fd3..851eec0378a80bce5e2aed5ab87b44c4d0b046df 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-.PHONY: all gtags check valgrind doc doc_inner copyright install uninstall patchup___stamp gittag gitpush clean src-clean gtags-clean test-clean doc-clean doc_inner-clean
+.PHONY: all gtags check valgrind doc doc_inner copyright install uninstall varsion patchup___stamp gittag gitpush clean src-clean gtags-clean test-clean doc-clean doc_inner-clean
 
 CAT := cat
 CP := cp -v
@@ -66,6 +66,11 @@ install-info:
 uninstall: uninstall-info
        $(RM) $(prefix $(bindir)/,$(CMDFILES))
 
+version: version___stamp
+
+version___stamp: $(VERSIONFILES)
+       @$(PRINTF) "YACASL2 Version: %s\n" $(VERSION) >$@
+
 $(VERSIONFILES): VERSION
        @$(SED) -e "s/@@VERSION@@/$(VERSION)/g" $@.version >$@
 
@@ -81,7 +86,6 @@ gittag: gittag___stamp
 
 gitpush: gitpush___stamp
 
-
 gitpush___stamp: gittag___stamp
        $(GIT) push origin main --tags
        $(GIT) push github main --tags