diff options
| author | Xi Ruoyao <xry111@xry111.site> | 2023-09-09 14:51:24 +0800 |
|---|---|---|
| committer | Xi Ruoyao <xry111@xry111.site> | 2023-09-09 14:51:24 +0800 |
| commit | ab31b973c86b400b12d9f88e7087fd15ef693df3 (patch) | |
| tree | 5f524c3034ee2f1a415d34b3829e75a9e412f672 /chapter08/mpfr.xml | |
| parent | 6c51e5ce7b92227de7406efd5e5db131db8163ac (diff) | |
chapter08: Make Installed "program(s)/library(ies)/directory(ies)" consistently lowercase
Diffstat (limited to 'chapter08/mpfr.xml')
| -rw-r--r-- | chapter08/mpfr.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter08/mpfr.xml b/chapter08/mpfr.xml index 60181d6e9..cba4a64aa 100644 --- a/chapter08/mpfr.xml +++ b/chapter08/mpfr.xml @@ -74,7 +74,7 @@ make install-html</userinput></screen> <title>Contents of MPFR</title> <segmentedlist> - <segtitle>Installed Libraries</segtitle> + <segtitle>Installed libraries</segtitle> <segtitle>Installed directory</segtitle> <seglistitem> |