summaryrefslogtreecommitdiff
path: root/docs/autoconf.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs/autoconf.html')
-rw-r--r--docs/autoconf.html9
1 files changed, 6 insertions, 3 deletions
diff --git a/docs/autoconf.html b/docs/autoconf.html
index 518f5d2d416..d0f91558b7d 100644
--- a/docs/autoconf.html
+++ b/docs/autoconf.html
@@ -43,9 +43,12 @@ configure script, type:
<p>
To see a short description of all the options, type <code>./configure
--help</code>. If you are using a development snapshot and the configure
-script does not exist, type <code>make configure</code> to generate it
-first. Once you have run <code>./configure</code> and set the options to
-your preference, type:
+script does not exist, type <code>./autogen.sh</code> to generate it
+first. If you know the options you want to pass to
+<code>configure</code>, you can pass them to <code>autogen.sh</code>. It
+will run <code>configure</code> with these options after it is
+generated. Once you have run <code>configure</code> and set the options
+to your preference, type:
</p>
<pre>