OSDN Git Service

* update_web_docs: Generate libiberty and gnat-style manuals.
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 29 Oct 2001 01:30:31 +0000 (01:30 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 29 Oct 2001 01:30:31 +0000 (01:30 +0000)
commitc53a51a22c77e3a6f37cff92f8c1b87980541870
treecaf39e5d5f86548a966eea050217de7026c91fe8
parent2d87c8ca8a0993005af4b8179b3ad25e947cd6a7
* update_web_docs: Generate libiberty and gnat-style manuals.

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