gnu-web-doc-update: don't ignore configure or build failure