diff options
| -rw-r--r-- | chapter07/stripping.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter07/stripping.xml b/chapter07/stripping.xml index 9c2bd8c23..da0bd3991 100644 --- a/chapter07/stripping.xml +++ b/chapter07/stripping.xml @@ -15,7 +15,7 @@ shared libraries, specially when using non-autotools build systems. While still in chroot, remove those files now:</para> -<screen role="nodump"><userinput>find /usr/{lib,libexec} -name \*.la -delete</userinput></screen> +<screen><userinput>find /usr/{lib,libexec} -name \*.la -delete</userinput></screen> <note><para> All the remaining steps in this section are optional. Nevertheless, |