Replace update_web_docs_libstdcxx_svn with update_web_docs_libstdcxx_git
authorJonathan Wakely <jwakely@redhat.com>
Mon, 13 Jan 2020 21:26:54 +0000 (21:26 +0000)
committerJonathan Wakely <jwakely@redhat.com>
Mon, 13 Jan 2020 21:40:44 +0000 (21:40 +0000)
commit97e2f333087d180a78d92c99b038f0888ac63c02
tree1473829cf0ad4a0645b1f2db6e516ea41a71b8ab
parent20571289868b98dfff95f754fa174f395dec00af
Replace update_web_docs_libstdcxx_svn with update_web_docs_libstdcxx_git

This patch replaces the update_web_docs_libstdcxx_svn script, that
updates online documentation from its sources in the GCC repository, run
once a day from cron, with update_web_docs_libstdcxx_git.

* update_web_docs_libstdcxx_git: New file.
* update_web_docs_libstdcxx_svn: Remove.
* crontab: Use update_web_docs_libstdcxx_git.
maintainer-scripts/ChangeLog
maintainer-scripts/crontab
maintainer-scripts/update_web_docs_libstdcxx_git [new file with mode: 0755]
maintainer-scripts/update_web_docs_libstdcxx_svn [deleted file]