OSDN Git Service

* update_web_docs: Also check out texinfo.tex from
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 28 Aug 2001 21:11:02 +0000 (21:11 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 28 Aug 2001 21:11:02 +0000 (21:11 +0000)
commitc525503d41d63956aed26a978f8b5e99ca0b7594
tree7b6f24304ce6a34ebf476ac84de33f6e9565eca5
parentbb7e93c8845af1b8a65b5f71835fd4a3b820a458
* update_web_docs: Also check out texinfo.tex from
gcc/doc/include.

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