From 63593f559707b10dc459ed8d7fef13301d12df56 Mon Sep 17 00:00:00 2001
From: Daniel Stenberg <daniel@haxx.se>
Date: Tue, 29 Apr 2003 16:55:17 +0000
Subject: [PATCH] mention configure --help

---
 docs/INSTALL | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/INSTALL b/docs/INSTALL
index 1771d57ac..671c829f7 100644
--- a/docs/INSTALL
+++ b/docs/INSTALL
@@ -31,6 +31,10 @@ UNIX
    If you have checked out the sources from the CVS repository, read the
    CVS-INFO on how to proceed.
 
+   Get a full listing of all available configure options by invoking it like:
+
+        ./configure --help
+
    If you want to install curl in a different file hierarchy than /usr/local,
    you need to specify that already when running configure: