diff options
Diffstat (limited to 'manual')
-rw-r--r-- | manual/install.texi | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/manual/install.texi b/manual/install.texi index 6042029c0b..c62c3481f4 100644 --- a/manual/install.texi +++ b/manual/install.texi @@ -119,9 +119,10 @@ with old binutils.) Use this option if your computer lacks hardware floating-point support and your operating system does not emulate an FPU. -@item --disable-static -Don't build static libraries. Static libraries aren't that useful these -days, but we recommend you build them in case you need them. +@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 days, but we recommend you build them in case you need them. @item --disable-shared Don't build shared libraries even if we could. Not all systems support |