"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