diff options
Diffstat (limited to 'chapter06/gmp.xml')
| -rw-r--r-- | chapter06/gmp.xml | 27 |
1 files changed, 16 insertions, 11 deletions
diff --git a/chapter06/gmp.xml b/chapter06/gmp.xml index 31c8e49ba..f10c283b5 100644 --- a/chapter06/gmp.xml +++ b/chapter06/gmp.xml @@ -52,7 +52,8 @@ <para>Prepare GMP for compilation:</para> -<screen><userinput remap="configure">./configure --prefix=/usr --enable-cxx</userinput></screen> +<screen><userinput remap="configure">./configure --prefix=/usr --enable-cxx \ + --docdir=/usr/share/doc/gmp-&gmp-version;</userinput></screen> <variablelist> <title>The meaning of the new configure options:</title> @@ -64,11 +65,20 @@ </listitem> </varlistentry> + <varlistentry> + <term><parameter>--docdir=/usr/share/doc-gmp&gmp-version;</parameter></term> + <listitem> + <para>This variable specifies the correct place for the + documentation.</para> + </listitem> + </varlistentry> + </variablelist> - <para>Compile the package:</para> + <para>Compile the package and generate the HTML documentation:</para> -<screen><userinput remap="make">make</userinput></screen> +<screen><userinput remap="make">make +make html</userinput></screen> <important> <para>The test suite for GMP in this section is considered critical. @@ -84,15 +94,10 @@ <screen><userinput remap="test">awk '/tests passed/{total+=$2} ; END{print total}' gmp-check-log</userinput></screen> - <para>Install the package:</para> - -<screen><userinput remap="install">make install</userinput></screen> - - <para>If desired, install the documentation:</para> + <para>Install the package and its documentation:</para> -<screen><userinput remap="install">mkdir -v /usr/share/doc/gmp-&gmp-version; -cp -v doc/{isa_abi_headache,configuration} doc/*.html \ - /usr/share/doc/gmp-&gmp-version;</userinput></screen> +<screen><userinput remap="install">make install +make install-html</userinput></screen> </sect2> |