diff options
Diffstat (limited to 'chapter06/gmp.xml')
| -rw-r--r-- | chapter06/gmp.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chapter06/gmp.xml b/chapter06/gmp.xml index 5077f740e..9548baf5e 100644 --- a/chapter06/gmp.xml +++ b/chapter06/gmp.xml @@ -60,8 +60,8 @@ <para>Install the package:</para> -<screen><userinput remap="install">make install && -install -v -m755 -d /usr/share/doc/gmp-4.2.2 && +<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> |