OSDN Git Service

* update_web_docs (contrib_file): Remove.
authorgerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 6 Jan 2002 22:44:51 +0000 (22:44 +0000)
committergerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4>
Sun, 6 Jan 2002 22:44:51 +0000 (22:44 +0000)
commit7d55bbcd2e3e210f563d239f4bf43bc708b8a662
treee7a227d19018a37838dd6ff368906168b90ef6fa
parent33a40528d32b7325928af88e2f243d761bbea93c
* update_web_docs (contrib_file): Remove.
Also removing special handling of thanks.html.

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