configure option to disable the documentation build?
daniel.foerster at sap.com
Wed Jul 11 14:57:09 UTC 2018
is there an configure option to disable the documentation being built?
As we have to build GMP also on platforms where package "texinfo" (tool makeinfo) is not available
we would like to disable the usage of makeinfo.
We couldn't find any option for this by
reading the manual nor by diving into the sources of configure.*, Makfile.*
Thanks and best regards
More information about the gmp-discuss