diff options
Diffstat (limited to 'chapter06')
| -rw-r--r-- | chapter06/mpfr.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/chapter06/mpfr.xml b/chapter06/mpfr.xml index 40ddff135..56125d0cd 100644 --- a/chapter06/mpfr.xml +++ b/chapter06/mpfr.xml @@ -62,6 +62,12 @@ <screen><userinput remap="install">make install</userinput></screen> + <para>Install the documentation:</para> + +<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> + </sect2> |