OSDN Git Service

* update_web_docs_svn: Remove unnecessary files from source tree.
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 16 Dec 2005 23:59:10 +0000 (23:59 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 16 Dec 2005 23:59:10 +0000 (23:59 +0000)
commitb6fd6af028aa16487d071c6caf8f9801e06c42b7
treeaed69468a1202ef3a63bdc9c8af4a0c4392167b7
parentd8d8579c26627a2739c38188896f13a2d9bf4144
* update_web_docs_svn: Remove unnecessary files from source tree.
Use set -e.
* doc_exclude, update_web_docs, update_web_docs_libstdcxx: Remove.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108698 138bc75d-0d04-0410-961f-82ee72b054a4
maintainer-scripts/ChangeLog
maintainer-scripts/doc_exclude [deleted file]
maintainer-scripts/update_web_docs [deleted file]
maintainer-scripts/update_web_docs_libstdcxx [deleted file]
maintainer-scripts/update_web_docs_svn