]> git.ipfire.org Git - thirdparty/gcc.git/commit
update_web_docs_svn: Remove unnecessary files from source tree.
authorJoseph Myers <joseph@codesourcery.com>
Fri, 16 Dec 2005 23:59:10 +0000 (23:59 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Fri, 16 Dec 2005 23:59:10 +0000 (23:59 +0000)
commitf0ac2193cb06a23464d1e3d633b66cc37fb6586b
treeaed69468a1202ef3a63bdc9c8af4a0c4392167b7
parent01578564782255d41967745d43d11720cee0ad6d
update_web_docs_svn: Remove unnecessary files from source tree.

* update_web_docs_svn: Remove unnecessary files from source tree.
Use set -e.
* doc_exclude, update_web_docs, update_web_docs_libstdcxx: Remove.

From-SVN: r108698
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