+ Added --disable-doc to let the user not build documentation. * build-win32: + Do not build documentation.