OSDN Git Service

* update_web_docs: Eliminate warnings about keeping files from web
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Nov 2001 09:55:25 +0000 (09:55 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Nov 2001 09:55:25 +0000 (09:55 +0000)
commit99a474605a477d56e1c92705824bd613c6c908bf
tree5df4daa7b341f53dca9d898e47fe61f11a87ae29
parentcb98586010291db435cb733ee6927b3a083a22be
* update_web_docs: Eliminate warnings about keeping files from web
page preprocessing.

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