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 | |
parent | efaa05d8fd84dc045ab8f68caeabf9578fd36c21 (diff) | |
download | gcc-e6a7284cf996c420d2abb0c323a2381399637aed.zip gcc-e6a7284cf996c420d2abb0c323a2381399637aed.tar.gz gcc-e6a7284cf996c420d2abb0c323a2381399637aed.tar.bz2 |
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')
-rw-r--r-- | maintainer-scripts/ChangeLog | 5 | ||||
-rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 3658bda..00d4549 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,8 @@ +2019-08-05 David Malcolm <dmalcolm@redhat.com> + + * update_web_docs_svn: Proceed even if the invocation of + sphinx fails. + 2019-05-04 Gerald Pfeifer <gerald@pfeifer.com> * 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 4f262fd..16abfee 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 |