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 2c99e84f7..78f9b5b29 100644 --- a/chapter06/mpfr.xml +++ b/chapter06/mpfr.xml @@ -65,7 +65,7 @@ <para>Install the documentation:</para> <screen><userinput remap="install">make html -mkdir -p /usr/share/doc/mpfr-&mpfr-version; +mkdir -pv /usr/share/doc/mpfr-&mpfr-version; find . -name \*.html -type f -exec cp -v \{} /usr/share/doc/mpfr-&mpfr-version; \;</userinput></screen> </sect2> |