* update_web_docs_old: Remove.
commit9467fc76ba0d697512629c440a20fcf8e09982b2
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 30 Sep 2005 21:31:34 +0000 (30 21:31 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 30 Sep 2005 21:31:34 +0000 (30 21:31 +0000)
tree7a483edb14d6bf6b2bc219260091ce26fba7d52a
parentc211aca9b2ee32097b3bc92f59fde1bcf4107a08
* update_web_docs_old: Remove.

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