diff options
| -rw-r--r-- | chapter06/gmp.xml | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/chapter06/gmp.xml b/chapter06/gmp.xml index 9548baf5e..ff764b36f 100644 --- a/chapter06/gmp.xml +++ b/chapter06/gmp.xml @@ -60,13 +60,15 @@ <para>Install the package:</para> -<screen><userinput remap="install">make install -install -v -m755 -d /usr/share/doc/gmp-4.2.2 -install -v -m644 doc/{isa_abi_headache,configuration} doc/*.html \ - /usr/share/doc/gmp-4.2.2</userinput></screen> +<screen><userinput remap="install">make install</userinput></screen> - </sect2> + <para>If desired, install the 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> + </sect2> <sect2 id="contents-gmp" role="content"> <title>Contents of GMP</title> |