diff options
Diffstat (limited to 'chapter06/mpfr.xml')
| -rw-r--r-- | chapter06/mpfr.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/chapter06/mpfr.xml b/chapter06/mpfr.xml index 044c4c1e1..b911d70c3 100644 --- a/chapter06/mpfr.xml +++ b/chapter06/mpfr.xml @@ -76,9 +76,11 @@ make install-html</userinput></screen> <segmentedlist> <segtitle>Installed Libraries</segtitle> + <segtitle>Installed directory</segtitle> <seglistitem> <seg>libmpfr.{a,so}</seg> + <seg>/usr/share/doc/mpfr-&mpfr-version;</seg> </seglistitem> </segmentedlist> |