diff options
Diffstat (limited to 'chapter06/gmp.xml')
| -rw-r--r-- | chapter06/gmp.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/chapter06/gmp.xml b/chapter06/gmp.xml index cae732a60..522cd6710 100644 --- a/chapter06/gmp.xml +++ b/chapter06/gmp.xml @@ -108,9 +108,11 @@ cp -v doc/{isa_abi_headache,configuration} doc/*.html \ <segmentedlist> <segtitle>Installed Libraries</segtitle> + <segtitle>Installed directory</segtitle> <seglistitem> <seg>libgmp.{a,so}, libgmpxx.{a,so}, and libmp.{a,so}</seg> + <seg>/usr/share/doc/gmp-&gmp-version;</seg> </seglistitem> </segmentedlist> |