diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2017-04-20 06:02:09 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-04-20 06:02:09 +0300 |
| commit | 6898627474811b138029ec7ccefa147255e27a25 (patch) | |
| tree | dca1b93e8cee6ffa5d8212fada96e05ac87a84cd /doc/gawk.texi | |
| parent | 852a9bd02415747bce315e14401ec42046c36a03 (diff) | |
| parent | 780c96b8a827fd1780e611cd41d59d80033eff46 (diff) | |
| download | egawk-6898627474811b138029ec7ccefa147255e27a25.tar.gz egawk-6898627474811b138029ec7ccefa147255e27a25.tar.bz2 egawk-6898627474811b138029ec7ccefa147255e27a25.zip | |
Merge branch 'master' into feature/fix-comments
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index fa8c6664..6db3fb01 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -38812,6 +38812,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 |