And that’s it. Only do docs on the first build’s success. Don’t mess with PHPDocumentor otherwise.