projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c64539a) | patch
update_web_docs: Don't generate HTML from gxxint.texi.
authorJoseph Myers <jsm28@cam.ac.uk>
Thu, 3 May 2001 15:49:22 +0000 (16:49 +0100)
committerJoseph Myers <jsm28@gcc.gnu.org>
Thu, 3 May 2001 15:49:22 +0000 (16:49 +0100)
commit371d5d2ef8677d06f8897bfd04bbf3ca0803fca5
treeabe39fcc0550d3eb374a8d00aa24a6df2a9d3ab7tree
parentc64539a845eeb988a17e9648bcf04615214542abcommit | diff
update_web_docs: Don't generate HTML from gxxint.texi.

* update_web_docs: Don't generate HTML from gxxint.texi.  Don't
run texi2html on manuals that aren't present.

From-SVN: r41789
maintainer-scripts/ChangeLog diff | blob | history
maintainer-scripts/update_web_docs diff | blob | history