diff options
Diffstat (limited to 'chapter08/gmp.xml')
| -rw-r--r-- | chapter08/gmp.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter08/gmp.xml b/chapter08/gmp.xml index de3f0ee8b..c2fd316f8 100644 --- a/chapter08/gmp.xml +++ b/chapter08/gmp.xml @@ -128,7 +128,7 @@ make install-html</userinput></screen> <title>Contents of GMP</title> <segmentedlist> - <segtitle>Installed Libraries</segtitle> + <segtitle>Installed libraries</segtitle> <segtitle>Installed directory</segtitle> <seglistitem> |