Previously, the HTML documentation would be generated even if there were
warnings, and a subsequent build would consider the documentation
up-to-date.
It seems like CMake has no option to remove a (possibly partially generated!)
target if the command exits with a non-zero status...