From: David Bremner
This as the advantage that "make VERSION=n.m dist" will work correctly
even if the wrong branch happens to be checked out.
---
Makefile.local |8 +++-
1 files changed, 7 insertions(+), 1 deletions(-)
diff --git a/Makefile.local b/Makefile.local
index b6445e5..d1c0737
From: David Bremner
This as the advantage that "make VERSION=n.m dist" will work correctly
even if the wrong branch happens to be checked out.
---
Makefile.local |8 +++-
1 files changed, 7 insertions(+), 1 deletions(-)
diff --git a/Makefile.local b/Makefile.local
index b6445e5..d1c0737