update_web_docs: Eliminate warnings about keeping files from web page preprocessing.
authorJoseph Myers <jsm28@cam.ac.uk>
Mon, 5 Nov 2001 09:55:25 +0000 (09:55 +0000)
committerJoseph Myers <jsm28@gcc.gnu.org>
Mon, 5 Nov 2001 09:55:25 +0000 (09:55 +0000)
commit3b0c635f60049f111e7ee358aea56c734a19d2cc
tree5df4daa7b341f53dca9d898e47fe61f11a87ae29
parent286970ee61cdcb00a1b7d0601dee6672328d8802
update_web_docs: Eliminate warnings about keeping files from web page preprocessing.

* update_web_docs: Eliminate warnings about keeping files from web
page preprocessing.

From-SVN: r46785
maintainer-scripts/ChangeLog
maintainer-scripts/update_web_docs