From e6a7284cf996c420d2abb0c323a2381399637aed Mon Sep 17 00:00:00 2001 From: David Malcolm Date: Sun, 4 Aug 2019 22:31:54 +0000 Subject: [PATCH] update_web_docs_svn: Proceed even if the invocation of sphinx fails. * update_web_docs_svn: Proceed even if the invocation of sphinx fails. From-SVN: r274099 --- maintainer-scripts/ChangeLog | 5 +++++ maintainer-scripts/update_web_docs_svn | 2 +- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 3658bdafd10..00d454942ea 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,8 @@ +2019-08-05 David Malcolm + + * update_web_docs_svn: Proceed even if the invocation of + sphinx fails. + 2019-05-04 Gerald Pfeifer * crontab: Snapshots from trunk are now GCC 10 related. diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn index 4f262fd01e5..16abfee3278 100755 --- a/maintainer-scripts/update_web_docs_svn +++ b/maintainer-scripts/update_web_docs_svn @@ -190,7 +190,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 -- 2.30.2