* update_web_docs_libstdcxx_svn (FILTER): Introduce.
commit077ef128b4f75d51e47037aaf599b36cd03beccb
authorgerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 7 Apr 2015 11:46:23 +0000 (7 11:46 +0000)
committergerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 7 Apr 2015 11:46:23 +0000 (7 11:46 +0000)
tree5b5182f9f481963184d4d99c1f86ca57b2b36875
parent798bfc5d8ecd36ce0cc3ea98ab053537c7c7070f
* update_web_docs_libstdcxx_svn (FILTER): Introduce.
Use to filter output of the copying process.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@221893 138bc75d-0d04-0410-961f-82ee72b054a4
maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs_libstdcxx_svn