From 59265c0233a04a6d782c5202f8e3eb26ed692df1 Mon Sep 17 00:00:00 2001 From: Carl Worth Date: Fri, 4 Dec 2009 16:09:40 -0800 Subject: [PATCH] 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. --- Makefile | 1 + 1 file changed, 1 insertion(+) 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 -- 2.26.2