push-to-web short-circuits when generate-jsdoc fails.