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/ChangeLog | |
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/ChangeLog')
-rw-r--r-- | maintainer-scripts/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
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 <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. |