diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/install.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/manual/install.texi b/manual/install.texi index 8bfd5f1a17..1656c5e052 100644 --- a/manual/install.texi +++ b/manual/install.texi @@ -122,8 +122,7 @@ and your operating system does not emulate an FPU. @c disable static doesn't work currently @c @item --disable-static -@c Don't build static libraries. Static libraries aren't that useful - these +@c Don't build static libraries. Static libraries aren't that useful these @c days, but we recommend you build them in case you need them. @item --disable-shared |