Makefile: Inform user that they might want to call ./configure explicitly.

If the Makefile does this for the user, then no arguments are passed. So
it's only polite to let the user know that it's possible to get pass those
arguments.

diff --git a/Makefile b/Makefile
index d112be6adf3c90d105398f3cc6d501419041d429..c3feee1ddd17018c9a00afb59c980c476033fb3f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -25,6 +25,11 @@ all: notmuch notmuch.1.gz
 # Before including any other Makefile fragments, get settings from the
 # output of configure
 Makefile.config: configure
+       @echo ""
+       @echo "Note: Calling ./configure with no command-line arguments. This is often fine,"
+       @echo "      but if you want to specify any arguments (such as an alternate prefix"
+       @echo "      into which to install), call ./configure explicitly and then make again."
+       @echo ""
        ./configure
 
 include Makefile.config