diff options
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 21c6e506..bbf7f5d6 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -37826,6 +37826,13 @@ Using this option will cause some of the tests in the test suite to fail. This option may be removed at a later date. @end quotation +@cindex @option{--disable-mpfr} configuration option +@cindex configuration option, @code{--disable-mpfr} +@item --disable-mpfr +Skip checking for the MPFR and GMP libraries. This is useful +mainly for the developers, to make sure nothing breaks if +MPFR support is not available. + @cindex @option{--disable-nls} configuration option @cindex configuration option, @code{--disable-nls} @item --disable-nls |