* generate_libstdcxx_web_docs: New script.
commitc4defeade15939d0aa11c67626ff841b5f028d6e
authorredi <redi@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 30 May 2014 11:11:10 +0000 (30 11:11 +0000)
committerredi <redi@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 30 May 2014 11:11:10 +0000 (30 11:11 +0000)
tree9ad6839a25a398cbe3369988d710ed298c4435d7
parent99947ba93c995d0d3ad912616a3650193b60c702
* generate_libstdcxx_web_docs: New script.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211076 138bc75d-0d04-0410-961f-82ee72b054a4
maintainer-scripts/ChangeLog
maintainer-scripts/generate_libstdcxx_web_docs [new file with mode: 0644]