diff options
Diffstat (limited to 'chapter08/texinfo.xml')
| -rw-r--r-- | chapter08/texinfo.xml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/chapter08/texinfo.xml b/chapter08/texinfo.xml index 7257ae5b5..9cbbda6a6 100644 --- a/chapter08/texinfo.xml +++ b/chapter08/texinfo.xml @@ -43,13 +43,13 @@ <para>Prepare Texinfo for compilation:</para> -<screen><userinput remap="configure">./configure --prefix=/usr --disable-static</userinput></screen> - +<screen><userinput remap="configure">./configure --prefix=/usr</userinput></screen> +<!-- <variablelist> <title>The meaning of the configure option:</title> <varlistentry> - <term><parameter>--disable-static</parameter></term> + <term><parameter>- -disable-static</parameter></term> <listitem> <para>In this case, the top-level configure script will complain that this is an unrecognized option, but the configure script for @@ -60,7 +60,7 @@ </varlistentry> </variablelist> - +--> <para>Compile the package:</para> <screen><userinput remap="make">make</userinput></screen> |