avoid building documentation, as this requires <makeinfo> installed on the host