diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2020-01-13 17:43:52 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2020-01-13 17:43:52 +0000 |
| commit | 33742a0a02581e518ea238e3136d96c7eda12ccc (patch) | |
| tree | 487ad5b28c86b42aa4b291de232daf6157d5dd44 /maintainer-scripts/ChangeLog | |
| parent | ac4d87c25e2550b86717151fd2594dfe14373d27 (diff) | |
Replace update_web_docs_svn with update_web_docs_git.
This patch replaces the update_web_docs_svn script, that updates
online documentation from its sources in the GCC repository, run once
a day from cron, with update_web_docs_git.
* update_web_docs_git: New file.
* update_web_docs_svn: Remove.
* crontab: Use update_web_docs_svn.
Diffstat (limited to 'maintainer-scripts/ChangeLog')
| -rw-r--r-- | maintainer-scripts/ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index cadcad35a1a..d616cacb2fc 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,5 +1,11 @@ 2020-01-13 Joseph Myers <joseph@codesourcery.com> + * update_web_docs_git: New file. + * update_web_docs_svn: Remove. + * crontab: Use update_web_docs_svn. + +2020-01-13 Joseph Myers <joseph@codesourcery.com> + * gcc_release: Use git instead of SVN. * crontab: Update gcc_release calls. |