* update_web_docs: Allow for the same file name in different
commitcb98586010291db435cb733ee6927b3a083a22be
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Nov 2001 08:47:51 +0000 (5 08:47 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 5 Nov 2001 08:47:51 +0000 (5 08:47 +0000)
treefa79d079a58d871707192b93306be464cb798fb9
parente864554bde66c04e62269a5a4385976f56338dd9
* update_web_docs: Allow for the same file name in different
directories.

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