diff options
Diffstat (limited to 'chapter06/mpfr.xml')
| -rw-r--r-- | chapter06/mpfr.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/chapter06/mpfr.xml b/chapter06/mpfr.xml index b61697bb1..fe183fb7d 100644 --- a/chapter06/mpfr.xml +++ b/chapter06/mpfr.xml @@ -69,8 +69,8 @@ <para>Install the documentation:</para> -<screen><userinput remap="install">make html -make install-html</userinput></screen> +<screen><userinput remap="make">make html +</userinput><userinput remap="install">make install-html</userinput></screen> </sect2> |