Rename version to version.txt

[notmuch] / Makefile.local

diff --git a/Makefile.local b/Makefile.local
index c65cee7cb15c1ae72ddaeca34060f07a86429ba1..dde7981ba3df65133d47fe170a591fe8b28e791f 100644 (file)
--- a/Makefile.local
+++ b/Makefile.local
@@ -19,7 +19,7 @@ endif
 
 # Depend (also) on the file 'version'. In case of ifeq ($(IS_GIT),yes)
 # this file may already have been updated.
-version.stamp: $(srcdir)/version
+version.stamp: $(srcdir)/version.txt
        echo $(VERSION) > $@
 
 $(TAR_FILE):