On Wednesday 2015-02-04 14:10, David Malcolm wrote: > Gerald: Please can you do the "svn up" on the relevant machine again, > so that it gets the updated "update_web_docs_svn"?
That was my plan, yes. :-) I just did that and manually ran the script, and it seems to work. Still, do you think you can add a bit of error handling such that an issue like the one we had (cf. https://gcc.gnu.org/ml/gccadmin/2015-q1/msg00077.html ) does not kill the entire script? A bit of resilience would be good. Gerald