git-gui: Generate a version file on demand.

diff --git a/Makefile b/Makefile
index 71ae7edb487760f239bcdeff4cb6d8330559eb88..fd82d9d16dd17d1030c4414f6a30af56ed4deaa1 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -45,8 +45,12 @@ install: all
        $(INSTALL) git-gui '$(DESTDIR_SQ)$(gitexecdir_SQ)'
        $(foreach p,$(GITGUI_BUILT_INS), rm -f '$(DESTDIR_SQ)$(gitexecdir_SQ)/$p' && ln '$(DESTDIR_SQ)$(gitexecdir_SQ)/git-gui' '$(DESTDIR_SQ)$(gitexecdir_SQ)/$p' ;)
 
+dist-version:
+       @mkdir -p $(TARDIR)
+       @echo $(GITGUI_VERSION) > $(TARDIR)/version
+
 clean::
        rm -f $(ALL_PROGRAMS) GIT-VERSION-FILE
 
-.PHONY: all install clean
+.PHONY: all install dist-version clean
 .PHONY: .FORCE-GIT-VERSION-FILE