configure option to disable the documentation build?

Torbjörn Granlund tg at gmplib.org
Fri Jul 20 14:45:56 UTC 2018


"Foerster, Daniel" <daniel.foerster at sap.com> writes:

  is there an configure option to disable the documentation being built?

I don't think so.

Usually, if you use a GMP release, file time stamps will be such that
documentation is not (re-)built.

-- 
Torbjörn
Please encrypt, key id 0xC8601622


More information about the gmp-discuss mailing list