|
@@ -54,15 +54,8 @@
|
|
|
--with-installed-readline</userinput></screen>
|
|
|
|
|
|
<variablelist>
|
|
|
- <title>The meaning of the configure options:</title>
|
|
|
+ <title>The meaning of the new configure option:</title>
|
|
|
|
|
|
- <varlistentry>
|
|
|
- <term><parameter>--htmldir</parameter></term>
|
|
|
- <listitem>
|
|
|
- <para>This option designates the directory into which HTML formatted
|
|
|
- documentation will be installed.</para>
|
|
|
- </listitem>
|
|
|
- </varlistentry>
|
|
|
<varlistentry>
|
|
|
<term><parameter>--with-installed-readline</parameter></term>
|
|
|
<listitem>
|