This also avoids the problem with building on Ubuntu 26.04 if building docs isn't disabled. (We're not interested in building the docs here anyway, so keep it disabled in any case.)
This also avoids the problem with building on Ubuntu 26.04 if building docs isn't disabled. (We're not interested in building the docs here anyway, so keep it disabled in any case.)