aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar Carl Worth <cworth@cworth.org>2009-12-04 16:09:40 -0800
committerGravatar Carl Worth <cworth@cworth.org>2009-12-04 16:09:40 -0800
commit59265c0233a04a6d782c5202f8e3eb26ed692df1 (patch)
tree30ba8d532a4d7322bf9576e8db739cf441c36c06 /Makefile
parente50461eb84a10f07278f944aea33ce6aa1a244d8 (diff)
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.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 248a4cfd..021fdb82 100644
--- 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