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 /gcc | |
| parent | ac4d87c25e2550b86717151fd2594dfe14373d27 (diff) | |
| download | gcc-33742a0a02581e518ea238e3136d96c7eda12ccc.zip gcc-33742a0a02581e518ea238e3136d96c7eda12ccc.tar.gz gcc-33742a0a02581e518ea238e3136d96c7eda12ccc.tar.bz2 | |
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 'gcc')
0 files changed, 0 insertions, 0 deletions