Makefile: Mention "./configure --help" now that it exists.

Since we're directing the user to ./confgiure for more options,
actually tell the user how to discover what those options are.

diff --git a/Makefile b/Makefile
index 248a4cfd212722058126e4dab8a3d101fe2d29d8..021fdb82a06d60dff275e1d52ad324525b78321c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -29,6 +29,7 @@ Makefile.config: configure
        @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 "      See \"./configure --help\" for more details."
        @echo ""
        ./configure