On Wed, 2015-02-04 at 22:21 +0100, Gerald Pfeifer wrote: > 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.
Thank you! The jit docs are now visible on the GCC website at: https://gcc.gnu.org/onlinedocs/jit/ (sadly the "Show Source" link on each page is a 404; iirc the "pyramid" theme didn't show these links so I didn't bother copying up the files; I'll look at fixing that). > 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. Something like the attached? (completely untested, sorry)
diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn index e0132dc..c1ff903 100755 --- a/maintainer-scripts/update_web_docs_svn +++ b/maintainer-scripts/update_web_docs_svn @@ -180,7 +180,7 @@ done # /usr/bin/sphinx-1.0-build # so we need to override SPHINXBUILD with this when invoking "make". pushd gcc/gcc/jit/docs -make SPHINXBUILD=/usr/bin/sphinx-1.0-build html +make SPHINXBUILD=/usr/bin/sphinx-1.0-build html || true popd cp -a gcc/gcc/jit/docs/_build/html jit mkdir -p $DOCSDIR/jit