GNUmakefile: use the more name-space-friendly "_version"

* top/GNUmakefile (_dummy): Update.
(_version): Rename from "version".

diff --git a/ChangeLog b/ChangeLog
index 8800eb3..1f5d6bd 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2008-10-09  Jim Meyering  <meyering@redhat.com>
+
+       GNUmakefile: use the more name-space-friendly "_version"
+       * top/GNUmakefile (_dummy): Update.
+       (_version): Rename from "version".
+
 2008-10-09  Paolo Bonzini  <bonzini@gnu.org>
             Bruno Haible  <bruno@clisp.org>
 

diff --git a/top/GNUmakefile b/top/GNUmakefile
index 7816416..0fdd3fa 100644 (file)
--- a/top/GNUmakefile
+++ b/top/GNUmakefile
@@ -72,18 +72,18 @@ ifeq ($(_have-git-version-gen)0,yes$(MAKELEVEL))
           # should run 'autoreconf' (or something like 'make distcheck') to
           # fix the version, 'make all' to propagate it, then 'make install'.
           $(info WARNING: version string $(VERSION) is out of date;)
-          $(info run '$(MAKE) version' to fix it)
+          $(info run '$(MAKE) _version' to fix it)
         else
           $(info INFO: running autoreconf for new version string: $(_curr-ver))
-          _dummy := $(shell $(MAKE) $(AM_MAKEFLAGS) version)
+          _dummy := $(shell $(MAKE) $(AM_MAKEFLAGS) _version)
         endif
       endif
     endif
   endif
 endif
 
-.PHONY: version
-version:
+.PHONY: _version
+_version:
        cd $(srcdir) && rm -rf autom4te.cache .version && $(_autoreconf)
 
 else