projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ac4d87c) | patch
Replace update_web_docs_svn with update_web_docs_git.
authorJoseph Myers <joseph@codesourcery.com>
Mon, 13 Jan 2020 17:43:52 +0000 (17:43 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Mon, 13 Jan 2020 17:43:52 +0000 (17:43 +0000)
commit33742a0a02581e518ea238e3136d96c7eda12ccc
tree487ad5b28c86b42aa4b291de232daf6157d5dd44tree
parentac4d87c25e2550b86717151fd2594dfe14373d27commit | 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.
maintainer-scripts/ChangeLog diff | blob | history
maintainer-scripts/crontab diff | blob | history
maintainer-scripts/update_web_docs_git [new file with mode: 0755] blob
maintainer-scripts/update_web_docs_svn [deleted file] blob | history