diff options
| author | David Malcolm <dmalcolm@redhat.com> | 2019-08-04 22:31:54 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2019-08-04 22:31:54 +0000 |
| commit | e6a7284cf996c420d2abb0c323a2381399637aed (patch) | |
| tree | 8a2dfac754153f4681efce19477a9f02d5007325 /maintainer-scripts/update_web_docs_svn | |
| parent | efaa05d8fd84dc045ab8f68caeabf9578fd36c21 (diff) | |
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
Diffstat (limited to 'maintainer-scripts/update_web_docs_svn')
| -rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 2 |
1 files changed, 1 insertions, 1 deletions
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 |