diff options
Diffstat (limited to 'chapter06/mpfr.xml')
| -rw-r--r-- | chapter06/mpfr.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter06/mpfr.xml b/chapter06/mpfr.xml index a43481754..2c99e84f7 100644 --- a/chapter06/mpfr.xml +++ b/chapter06/mpfr.xml @@ -66,7 +66,7 @@ <screen><userinput remap="install">make html mkdir -p /usr/share/doc/mpfr-&mpfr-version; -find . -name \*.html -type f -exec cp \{} /usr/share/doc/mpfr-&mpfr-version; \;</userinput></screen> +find . -name \*.html -type f -exec cp -v \{} /usr/share/doc/mpfr-&mpfr-version; \;</userinput></screen> </sect2> |