From ece9854e8f54b88962ae9285e390b0c206b176a1 Mon Sep 17 00:00:00 2001
From: Olly Betts <olly@survex.com>
Date: Tue, 17 Feb 2015 16:00:22 +1300
Subject: [PATCH] Give more helpful message for "make dist"

---
 Makefile.in | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/Makefile.in b/Makefile.in
index 964c48a07..daec0b08d 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -570,8 +570,9 @@ dd = @PACKAGE_NAME@-@PACKAGE_VERSION@
 srpm = @PACKAGE_NAME@-@PACKAGE_VERSION@
 
 dist:
-	@echo "not implemented - use Tools/mkdist.py instead."
-	false
+	@echo "'make dist' not implemented - use Tools/mkdist.py instead - e.g.:"
+	@echo "Tools/mkdist.py @VERSION@ master"
+	@false
 
 srcrpm:
 	rm -fr $(srpm) $(srpm).src.rpm