git-gui: Rename GIT_VERSION to GITGUI_VERSION.

diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 79f1c527ffbf157d2314703ad4140bddaab24470..79558f39cf968d712dc0230dc9cb538f92ad4a78 100755 (executable)
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -34,13 +34,13 @@ esac
 
 if test -r $GVF
 then
-       VC=$(sed -e 's/^GIT_VERSION = //' <$GVF)
+       VC=$(sed -e 's/^GITGUI_VERSION = //' <$GVF)
 else
        VC=unset
 fi
 test "$VN" = "$VC" || {
-       echo >&2 "GIT_VERSION = $VN"
-       echo "GIT_VERSION = $VN" >$GVF
+       echo >&2 "GITGUI_VERSION = $VN"
+       echo "GITGUI_VERSION = $VN" >$GVF
 }