update_web_docs_svn: Proceed even if the invocation of sphinx fails.
authorDavid Malcolm <dmalcolm@redhat.com>
Sun, 4 Aug 2019 22:31:54 +0000 (22:31 +0000)
committerGerald Pfeifer <gerald@gcc.gnu.org>
Sun, 4 Aug 2019 22:31:54 +0000 (22:31 +0000)
commite6a7284cf996c420d2abb0c323a2381399637aed
tree8a2dfac754153f4681efce19477a9f02d5007325
parentefaa05d8fd84dc045ab8f68caeabf9578fd36c21
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
maintainer-scripts/update_web_docs_svn