update_web_docs: Also check out texinfo.tex from gcc/doc/include.
authorJoseph Myers <jsm28@cam.ac.uk>
Tue, 28 Aug 2001 21:11:02 +0000 (22:11 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Tue, 28 Aug 2001 21:11:02 +0000 (22:11 +0100)
commit70f66039601a150c5a264e68e01957bd1d3a7b32
tree7b6f24304ce6a34ebf476ac84de33f6e9565eca5
parent4f400cf638cb8e3ade74e3e6b8d5a5c519886c95
update_web_docs: Also check out texinfo.tex from gcc/doc/include.

* update_web_docs: Also check out texinfo.tex from
gcc/doc/include.

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