diff options
Diffstat (limited to 'chapter06/gmp.xml')
| -rw-r--r-- | chapter06/gmp.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter06/gmp.xml b/chapter06/gmp.xml index c342d5f59..bc57f9d20 100644 --- a/chapter06/gmp.xml +++ b/chapter06/gmp.xml @@ -111,7 +111,7 @@ make install-html</userinput></screen> <segtitle>Installed directory</segtitle> <seglistitem> - <seg>libgmp.{a,so} and libgmpxx.{a,so}</seg> + <seg>libgmp.so and libgmpxx.so</seg> <seg>/usr/share/doc/gmp-&gmp-version;</seg> </seglistitem> </segmentedlist> |