From: David Malcolm <dmalcolm@redhat.com>
Date: Sun, 4 Aug 2019 22:31:54 +0000 (+0000)
Subject: update_web_docs_svn: Proceed even if the invocation of sphinx fails.
X-Git-Tag: misc/cutover-git~3659
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e6a7284cf996c420d2abb0c323a2381399637aed;p=thirdparty%2Fgcc.git

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
---

diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog
index 3658bdafd10e..00d454942eaf 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 4f262fd01e5d..16abfee32787 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