projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a33b51d) | patch
update_web_docs: Allow for the same file name in different directories.
authorJoseph Myers <jsm28@cam.ac.uk>
Mon, 5 Nov 2001 08:47:51 +0000 (08:47 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Mon, 5 Nov 2001 08:47:51 +0000 (08:47 +0000)
commit286970ee61cdcb00a1b7d0601dee6672328d8802
treefa79d079a58d871707192b93306be464cb798fb9tree
parenta33b51de360973295a3020c9a7053974cb1fb7accommit | diff
update_web_docs: Allow for the same file name in different directories.

* update_web_docs: Allow for the same file name in different
directories.

From-SVN: r46784
maintainer-scripts/ChangeLog diff | blob | history
maintainer-scripts/update_web_docs diff | blob | history