OSDN Git Service

* update_web_docs: Don't generate HTML from gxxint.texi. Don't
authorjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 3 May 2001 15:49:22 +0000 (15:49 +0000)
committerjsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 3 May 2001 15:49:22 +0000 (15:49 +0000)
commitd2c1dfe0efff6d9a0128839136f00084f478c26a
treeabe39fcc0550d3eb374a8d00aa24a6df2a9d3ab7
parent296ab3258dd4374dbd5843bde82aeb99db6552a6
* update_web_docs: Don't generate HTML from gxxint.texi.  Don't
run texi2html on manuals that aren't present.

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